MPG.eBooks - Author Search Results

Cover Image

1

Abstract State Machines, Alloy, B and Z : Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010, Proceedings

Published 2010

Springer Berlin Heidelberg

Other Authors: “...Laleau, Régine...”