Sciweavers

CSL
2001
Springer

A Logic for Abstract State Machines

14 years 4 months ago
A Logic for Abstract State Machines
Robert F. Stärk, Stanislas Nanchen
Added 28 Jul 2010
Updated 28 Jul 2010
Type Conference
Year 2001
Where CSL
Authors Robert F. Stärk, Stanislas Nanchen
Comments (0)