Home›Books›Software Engineering and Formal Methods : SEFM 2015 Collocated WorkshopsSoftware Engineering and Formal Methods : SEFM 2015 Collocated Workshopsby Domenico Bianculli, Radu Calinescu, Bernhard RumpeNo description available.Software engineeringComputer science