Abstract State Machines, B and Z - Börger, Egon; Boca, Paul; Bowen, Jonathan P.; Butler, Michael; Kanade, Takeo; Boca, Paul P.; Kittler, Josef (Springer Berlin Heidelberg, 2008)
Keywords: Information Technology -- Software Engineering