Sciweavers

BIRTHDAY
2006
Springer

Abstract Counterexample-Based Refinement for Powerset Domains

14 years 4 months ago
Abstract Counterexample-Based Refinement for Powerset Domains
Roman Manevich, John Field, Thomas A. Henzinger, G
Added 20 Aug 2010
Updated 20 Aug 2010
Type Conference
Year 2006
Where BIRTHDAY
Authors Roman Manevich, John Field, Thomas A. Henzinger, G. Ramalingam, Mooly Sagiv
Comments (0)