Sciweavers

1892 search results - page 13 / 379
» Warren's Abstract Machine
Sort
View
CSL
2001
Springer
15 years 4 months ago
A Logic for Abstract State Machines
Robert F. Stärk, Stanislas Nanchen