Result: The application of formal specifications to software documentation and debugging
Title:
The application of formal specifications to software documentation and debugging
Authors:
Goyal, AnoopAff1, Sankar, SriramAff2
Contributors:
Goos, Gerhard, editor, Hartmanis, Juris, editor, Fritzson, Peter A., editor
Source:
Automated and Algorithmic Debugging : First International Workshop, AADEBUG '93 Linköping, Sweden, May 3–5, 1993 Proceedings. 749:333-349
Database:
Springer Nature eBooks