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