Gerard J. Holzmann. Designing executable abstractions. In Mark A. Ardis, Joanne M. Atlee, editors, Proceedings of the Second Workshop on Formal Methods in Software Practice, March 4-5, 1998, Clearwater Beach, Florida, USA. pages 103-108, ACM, 1998. [doi]
@inproceedings{Holzmann98, title = {Designing executable abstractions}, author = {Gerard J. Holzmann}, year = {1998}, doi = {10.1145/298595.298864}, url = {http://doi.acm.org/10.1145/298595.298864}, tags = {abstraction}, researchr = {https://researchr.org/publication/Holzmann98}, cites = {0}, citedby = {0}, pages = {103-108}, booktitle = {Proceedings of the Second Workshop on Formal Methods in Software Practice, March 4-5, 1998, Clearwater Beach, Florida, USA}, editor = {Mark A. Ardis and Joanne M. Atlee}, publisher = {ACM}, isbn = {0-89791-954-8}, }