Sciweavers

ASM
2000
ASM

Investigating Java Concurrency Using Abstract State Machines

14 years 4 months ago
Investigating Java Concurrency Using Abstract State Machines
Yuri Gurevich, Wolfram Schulte, Charles Wallace
Added 02 Aug 2010
Updated 02 Aug 2010
Type Conference
Year 2000
Where ASM
Authors Yuri Gurevich, Wolfram Schulte, Charles Wallace
Comments (0)