Title :
Nitpick: A Tool For Interactive Design Analysis
Author_Institution :
School of Computer Science, Carnegie Mellon University
Keywords :
Computer bugs; Computer science; Formal specifications; Permission; Programming; Protocols; Safety; Software design; System analysis and design; Writing;
Conference_Titel :
Software Engineering, 1997., Proceedings of the 1997 (19th) International Conference on
Print_ISBN :
0-89791-914-9
DOI :
10.1109/ICSE.1997.610423
