Visible to the public Biblio

Filters: Author is Klaus Havelund  [Clear All Filters]
2018-05-14
[Anonymous].  2017.  Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, Santa Barbara, CA, USA, July 10-14, 2017.
[Anonymous].  2014.  Tools and Algorithms for the Construction and Analysis of Systems - 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. Proceedin. Lecture Notes in Computer Science. 8413