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},
}