Formal methods: 27th international symposium, fm 2026, tokyo, japan, may 18–22, 2026, proceedings, part i
Éditeur :
Springer Nature Switzerland AG
ISBN :
9783032262035
Date de publication :
18 mai 2026
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
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 proceedings also include 4 invited talks, 8 tutorial papers, and 9 papers from the industry day track. and Main Track (1) Part II: Main Track (2);