Giovanni Liva, Muhammad Taimoor Khan 0001, Francesco Spegni, Luca Spalazzi, Andreas Bollin, Martin Pinzger 0001. Modeling time in Java programs for automatic error detection. In Stefania Gnesi, Nico Plat, Paola Spoletini, Patrizio Pelliccione, editors, Proceedings of the 6th Conference on Formal Methods in Software Engineering, FormaliSE 2018, collocated with ICSE 2018, Gothenburg, Sweden, June 2, 2018. pages 50-59, ACM, 2018. [doi]
No reviews for this publication, yet.