[ACM Press the 6th Conference - Gothenburg, Sweden (2018.06.02-2018.06.02)] Proceedings of the 6th Conference on Formal Methods in Software Engineering - FormaliSE '18 - Testing meets static and runtime verification
Chimento, Jesús Mauricio, Ahrendt, Wolfgang, Schneider, GerardoYear:
2018
Language:
english
DOI:
10.1145/3193992.3194000
File:
PDF, 904 KB
english, 2018