Sciweavers

SAS
2010
Springer

Thread-Modular Counterexample-Guided Abstraction Refinement

13 years 3 months ago
Thread-Modular Counterexample-Guided Abstraction Refinement
ion Refinement Alexander Malkis1 , Andreas Podelski2 , and Andrey Rybalchenko3 1 IMDEA Software 2 University of Freiburg 3 TU M
Alexander Malkis, Andreas Podelski, Andrey Rybalch
Added 14 Feb 2011
Updated 14 Feb 2011
Type Journal
Year 2010
Where SAS
Authors Alexander Malkis, Andreas Podelski, Andrey Rybalchenko
Comments (0)