TY - JOUR T1 - Introduction to the Software Engineering and Formal Methods 2013 special issue JO - Software & Systems Modeling PY - 2017/01/01 AU - Bravetti M AU - Hierons RM AU - Merayo MG ED - DO - DOI: 10.1007/s10270-015-0467-z PB - Springer Science and Business Media LLC VL - 16 IS - 1 SP - 5 EP - 6 Y2 - 2025/05/29 ER -