3 options
Formal Methods : 27th International Symposium, FM 2026, Tokyo, Japan, May 18-22, 2026, Proceedings, Part II.
Springer Nature - Springer Computer Science eBooks 2026 English International Available online
View onlineSpringer Nature - Springer Nature Link Journals and eBooks - Fully Open Access Available online
View online- Format:
- Book
- Author/Creator:
- Sampaio, Augusto.
- Series:
- Lecture Notes in Computer Science Series
- Lecture Notes in Computer Science Series ; v.16557
- Language:
- English
- Physical Description:
- 1 online resource (1274 pages)
- Edition:
- 1st ed.
- Place of Publication:
- Cham : Springer, 2026.
- Summary:
- The open access book set LNCS 16556 + 16557 constitutes the refereed proceedings of the 27th International Symposium on Formal Methods, FM 2026, held in Tokyo, Japan, during May 18-22, 2026. The 49 full and 2 short papers included in these proceedings were carefully reviewed and selected from 239 submissions.
- Notes:
- Description based on publisher supplied metadata and other sources.
- ISBN:
- 9783032262202
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.