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]
No references recorded for this publication.
No citations of this publication recorded.