Abstract State Machines


Subjects

Methodology

Applications

ASM Studies

Warren Abstract Machine and Logic Programming


Table of Contents