1 option
Formal Methods Teaching : 7th Formal Methods Teaching Workshop, FMTea 2026, Tokyo, Japan, May 19, 2026, Proceedings.
Springer Nature - Springer Computer Science eBooks 2026 English International Available online
View online- Format:
- Book
- Author/Creator:
- Carvalho, Gustavo.
- Series:
- Lecture Notes in Computer Science Series
- Lecture Notes in Computer Science Series ; v.16566
- Language:
- English
- Physical Description:
- 1 online resource (203 pages)
- Edition:
- 1st ed.
- Place of Publication:
- Cham : Springer, 2026.
- Summary:
- This book constitutes the refereed proceedings of the 7th International Workshop on Formal Methods Teaching, FMTea 2026, held in Tokyo, Japan, on May 19, 2026.The 6 full papers included in these proceedings were carefully reviewed and selected from 12 submissions.The book also contains two invited talks in full paper length.
- Notes:
- Description based on publisher supplied metadata and other sources.
- ISBN:
- 9783032267436
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.