Towards Comprehensive Tool Support for Abstract State Machines: The ASM Workbench Tool Environment and Architecture.

Giuseppe Del Castillo

Browse the full FM paper archive.