
Formal Methods
- Alaotsikko
- 27th International Symposium, FM 2026, Tokyo, Japan, May 18–22, 2026, Proceedings, Part II
- Toimittaja
- Augusto Sampaio, Marielle Stoelinga
- ISBN
- 9783032262196
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 14.6.2026
- Kustantaja
- Springer Nature Switzerland AG
- Sivumäärä
- 701