HostPublication Software Engineering and Formal Methods : 11th International Conference, SEFM 2013, Madrid, Spain, September 2013 Proceedings
From CERES
A list of all pages that have property "HostPublication" with value "Software Engineering and Formal Methods : 11th International Conference, SEFM 2013, Madrid, Spain, September 2013 Proceedings"