Login / Signup

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

Giuseppe Del Castillo
Published in: FM-Trends (1998)
Keyphrases