Software Engineering and Formal Methods : SEFM 2015 Collocated Workshops

by Domenico Bianculli, Radu Calinescu, Bernhard Rumpe