Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings

Full text!
Format:
e-book
Title:
Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings
Author:
Calinescu; Rumpe, Bernhard
Language:
English
Publisher:
Springer International Publishing 2015
ISBN:
3-319-22968-0
3-319-22969-9
Permalink:
http://bibtest.howest.be/catalog/ebk03:3890000000001362?locale=en