Software Engineering and Formal Methods
Subtitle: 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings
Publisher: Springer Berlin / Heidelberg
Published: 2012
Language: eng
ISBN-13: 9783642338250
Subjects: Software engineering; System design