A Tool for Writing and Debugging Algebraic Specifications

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]

Bibliographies