Software Engineering and Formal Methods
Subtitle: 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings
Publisher: Springer
Published: Oct 03, 2012
Format: paperback
Number of pages: 400
ISBN-13: 9783642338274
Notes: Source title: Software Engineering and Formal Methods: 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings