Publications

Del Castillo, Giuseppe: Towards comprehensive tool support for Abstract State Machines: The ASM Workbench tool environment and architecture. In: et al, Hutter editor. : Current Trends in Applied Formal Methods (FM-Trends 98), volume Volume 1641 of LNCS D , S. pp. 311-325, 1999, Springer Verlag

Bibtex

@inproceedings{key=Cast1999,
author = {Del Castillo, Giuseppe},
title = {Towards comprehensive tool support for Abstract State Machines: The ASM Workbench tool environment and architecture},
editor = {et al, Hutter},
booktitle = {Current Trends in Applied Formal Methods (FM-Trends 98)},
volume = {Volume 1641 of LNCS D},
pages = {pp. 311-325},
publisher = {Springer Verlag},
year = {1999},
}