Sriram Sankar (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

7 Anoop Goyal, Sriram Sankar: The Application of Formal Specifications to Software Documentation and Debugging. AADEBUG 1993: 333-349

Selection of 1 from 15 records - Sriram Sankar has 18 coauthors