Title :
Dynamically detecting relevant program invariants
Author_Institution :
University of Washington
Keywords :
Formal specifications; Programming profession;
Conference_Titel :
Engineering of Complex Computer Systems, 2000. ICECCS 2000. Proceedings. Sixth IEEE International Conference on
Print_ISBN :
0-7695-0583-X
DOI :
10.1109/ICECCS.2000.873940
