Johannes Henkel, Amer Diwan. A Tool for Writing and Debugging Algebraic Specifications. In 26th International Conference on Software Engineering (ICSE 2004), 23-28 May 2004, Edinburgh, United Kingdom. pages 449-458, IEEE Computer Society, 2004. [doi]
@inproceedings{HenkelD04, title = {A Tool for Writing and Debugging Algebraic Specifications}, author = {Johannes Henkel and Amer Diwan}, year = {2004}, url = {http://csdl.computer.org/comp/proceedings/icse/2004/2163/00/21630449abs.htm}, tags = {algebraic specification, writing, debugging, algebra}, researchr = {https://researchr.org/publication/HenkelD04}, cites = {0}, citedby = {0}, pages = {449-458}, booktitle = {26th International Conference on Software Engineering (ICSE 2004), 23-28 May 2004, Edinburgh, United Kingdom}, publisher = {IEEE Computer Society}, isbn = {0-7695-2163-0}, }