Software Engineering and Formal Methods - 9783662492239
ISBN-13: 9783662492239, 978-3662492239. Revised Selected Papers.
eBay