Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca

Abstract State Machines, B and Z - Germany Springer 2008

978-3-540-87603-8


Abstract State Machines, B and Z
Computer Science