Integrated Formal Methods : 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings

Full text!
Format:
e-book
Title:
Integrated Formal Methods : 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings
Author:
ter Beek, Maurice H.; Monahan, Rosemary
Language:
English
Publisher:
Cham Springer International Publishing AG 2022
ISBN:
3-031-07726-1
3-031-07727-X
Permalink:
http://bibtest.howest.be/catalog/ebk03:23114192800041?locale=en