Introduction to the Software Engineering and Formal Methods 2013 special issue

Mario Bravetti, Robert M. Hierons, Mercedes G. Merayo. Introduction to the Software Engineering and Formal Methods 2013 special issue. Software and Systems Modeling, 16(1):5-6, 2017. [doi]

Abstract

Abstract is missing.