Francesco Costa, Daniela Nardi, Roberto Rinaldi. SDS - A LOTOS-Based Tool for Symbolic Debugging. In Kenneth J. Turner, editor, Formal Description Techniques, Proceedings of the First International Conference on Formal Description Techniques, Stirling, Scotland, UK, 6-9 September, 1988. pages 327-336, North-Holland, 1988.
@inproceedings{CostaNR88, title = {SDS - A LOTOS-Based Tool for Symbolic Debugging}, author = {Francesco Costa and Daniela Nardi and Roberto Rinaldi}, year = {1988}, tags = {rule-based, debugging}, researchr = {https://researchr.org/publication/CostaNR88}, cites = {0}, citedby = {0}, pages = {327-336}, booktitle = {Formal Description Techniques, Proceedings of the First International Conference on Formal Description Techniques, Stirling, Scotland, UK, 6-9 September, 1988}, editor = {Kenneth J. Turner}, publisher = {North-Holland}, isbn = {0-444-87126-8}, }