Developing New ASM-tools

Cite this paper

@inproceedings{Diesen1998DevelopingNA, title={Developing New ASM-tools}, author={Dag Diesen and Trond Ove Svendsen and Bj\orn Thorstensen}, booktitle={Workshop on Abstract State Machines}, year={1998} }