Sciweavers

Share
PLDI
2003
ACM

Debugging temporal specifications with concept analysis

9 years 14 days ago
Debugging temporal specifications with concept analysis
Glenn Ammons, David Mandelin, Rastislav Bodí
Added 05 Jul 2010
Updated 05 Jul 2010
Type Conference
Year 2003
Where PLDI
Authors Glenn Ammons, David Mandelin, Rastislav Bodík, James R. Larus
Comments (0)
books