Sciweavers

Share
IANDC
2010

Compositional verification and 3-valued abstractions join forces

10 years 7 months ago
Compositional verification and 3-valued abstractions join forces
Sharon Shoham, Orna Grumberg
Added 03 Mar 2011
Updated 03 Mar 2011
Type Journal
Year 2010
Where IANDC
Authors Sharon Shoham, Orna Grumberg
Comments (0)
books