Integrated Formal Methods
Subtitle: 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings
Publisher: Springer Berlin / Heidelberg
Published: 2013
Language: eng
ISBN-13: 9783642386121
Subjects: Software engineering; System design