Sciweavers

ASM
2000
ASM

Using Abstract State Machines at Microsoft: A Case Study

14 years 4 months ago
Using Abstract State Machines at Microsoft: A Case Study
Michael Barnett, Egon Börger, Yuri Gurevich,
Added 02 Aug 2010
Updated 02 Aug 2010
Type Conference
Year 2000
Where ASM
Authors Michael Barnett, Egon Börger, Yuri Gurevich, Wolfram Schulte, Margus Veanes
Comments (0)