Abstract State Machines Alloy B And Z Second International Conference Abz 2010 Orford Qc Canada February 2225 2010 Proceedings
Publisher: Springer
Published: 2010
ISBN-13: 9783642118104