Towards Comprehensive Tool Support for Abstract State Machines: The ASM Workbench Tool Environment and Architecture Chapter uri icon

publication date

  • January 1, 1999

start page

  • 311

end page

  • 325