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

Giuseppe Del Castillo The ASM Workbench - A Tool Environment for Computer-Aided Analysis and Validation of Abstract State Machine Models Tool Demonstration. 578-581 2001 conf/tacas/2001 TACAS http://link.springer.de/link/service/series/0558/bibs/2031/20310578.htm db/conf/tacas/tacas2001.html#Castillo01