SDS - A LOTOS-Based Tool for Symbolic Debugging - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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.

This author has not been identified. Look up 'Francesco Costa' in GoogleThis author has not been identified. Look up 'Daniela Nardi' in GoogleThis author has not been identified. Look up 'Roberto Rinaldi' in Google

runs on WebDSL