Filter
Sökt på: Sökresultat
Filter
1 träff
Integrated Formal Methods
E-bok,
2022,
Engelska,
ISBN 9783031077272
This book constitutes the refereed proceedings of the 17th International Conference on Integrated Formal Methods, IFM 2022, held in Lugano, Switzerland, in June 2022.The 14 full …