Product Description
ISBN: 9783319415901
TITLE: Software Engineering and Formal Methods : 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings : 9763
AUTHOR: Rocco De Nicola
PUBLISHER: Springer International Publishing AG
PUBLISHER DATE: 23 Jun 2016

