Software Engineering and Formal Methods - SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015, Revised Selected Papers

Reference : Software Engineering and Formal Methods - SEFM 2015 Collocated Workshops: ATSE, HOFM,...


	Document type :	Books : Collective work published as editor or director
	Discipline(s) :	Engineering, computing & technology : Computer science
	To cite this reference:	http://hdl.handle.net/10993/24841

Title :	Software Engineering and Formal Methods - SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015, Revised Selected Papers
Language :	English
Editor :	Bianculli, Domenico [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) >]
	Calinescu, Radu [> >]
	Rumpe, Bernhard [> >]
Publication date :	2015
Publisher :	Springer
Collection and collection volume :	Lecture Notes in Computer Science, volume 9509
Permalink :	http://hdl.handle.net/10993/24841
Other URL :	http://dx.doi.org/10.1007/978-3-662-49224-6

There is no file associated with this reference.

All documents in ORBi^lu are protected by a user license.