Integrated Formal Methods: 17th International Conference, IFM 2022, Lugano, Switzerland, June 7–10, 2022, Proceedings (Lecture Notes in Computer Science)
- Author
- Maurice H. ter Beek (editor), Rosemary Monahan (editor)
- Publisher
- Springer
- Language
- English
- Year
- 2022
- Page
- 392
- ISBN
- 3031077261,9783031077265
- File Type
- pdf
- File Size
- 14.6 MiB
How to Download?!!!
Just click on START button on Telegram Bot