Abstract State Machines, B and Z Abstract State Machines, B and Z
2008
Formal Methods: State of the Art and New Directions Formal Methods: State of the Art and New Directions
2009