Sciweavers

Share
FMSP
2000
ACM

Using predicate abstraction to reduce object-oriented programs for model checking

11 years 5 months ago
Using predicate abstraction to reduce object-oriented programs for model checking
Willem Visser, Seungjoon Park, John Penix
Added 01 Aug 2010
Updated 01 Aug 2010
Type Conference
Year 2000
Where FMSP
Authors Willem Visser, Seungjoon Park, John Penix
Comments (0)
books