Formal Methods Second World Congress Proceedings
Publisher: Springer
Published: 2010
ISBN-13: 9783642050886