Abstract State Machines


Subjects

Methodology

Applications

ASM Studies

Mechanical Verification


(see also Verification)


Table of Contents

See also this Ph.D. Thesis.