Languages
Jump To : Overview | Titles | Subjects

International Conference on Integrated Formal Methods (2022 :)

Overview
Works: 1 works in 1 publications in 1 languages
Titles
Integrated formal methods = 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022 : proceedings / by: International Conference on Integrated Formal Methods (2022 :); Beek, Maurice H. ter.; Monahan, Rosemary.; SpringerLink (Online service) (Electronic resources)
 
 
Change password
Login