Sciweavers

PLDI
2004
ACM

Verifying safety properties using separation and heterogeneous abstractions

14 years 5 months ago
Verifying safety properties using separation and heterogeneous abstractions
Eran Yahav, G. Ramalingam
Added 30 Jun 2010
Updated 30 Jun 2010
Type Conference
Year 2004
Where PLDI
Authors Eran Yahav, G. Ramalingam
Comments (0)