Debugging temporal specifications with concept analysis
Ammons, Glenn, Mandelin, David, Bodík, Rastislav, Larus, James R.Volume:
38
Language:
english
Journal:
ACM SIGPLAN Notices
DOI:
10.1145/780822.781152
Date:
May, 2003
File:
PDF, 151 KB
english, 2003