Software Engineering and Formal Methods
Subtitle: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings
Publisher: Springer London, Limited
Published: 2015
Language: eng
Number of pages: 369
ISBN-13: 9783319229690
Subjects: Logic, symbolic and mathematical; Software engineering