Maurice H. ter Beek, "Integrated Formal Methods: 17th International Conference, IFM 2022, Lugano, Switzerland, June 7–10, 2022, Proceedings "
English | ISBN: 3031077261 | | pages | EPUB | 37 MB
English | ISBN: 3031077261 | | pages | EPUB | 37 MB