The ASM Workbench - A Tool Environment for Computer-Aided Analysis and Validation of Abstract State Machine Models Tool Demonstration.

Giuseppe Del Castillo

Browse the full TACAS paper archive.