1
NASA Formal Methods [E-Book] : 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022, Proceedings /
Other Personal Name(s): “...Havelund, Klaus...”

Full text 
Favorites
Saved in:
2
NASA Formal Methods [E-Book] : 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings /
Other Personal Name(s): “...Havelund, Klaus....”

Full text 
Favorites
Saved in:
3
Tools and Algorithms for the Construction and Analysis of Systems [E-Book] : 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings /
Other Personal Name(s): “...Havelund, Klaus...”

Full text 
Favorites
Saved in:

Narrow Search Results