
[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 - Modeling time in Java programs for automatic error detection
Liva, Giovanni, Khan, Muhammad Taimoor, Spegni, Francesco, Spalazzi, Luca, Bollin, Andreas, Pinzger, MartinAnnée:
2018
Langue:
english
DOI:
10.1145/3193992.3193997
Fichier:
PDF, 515 KB
english, 2018