Sciweavers

ENTCS
2007

Extracting Program Logics From Abstract Interpretations Defined by Logical Relations

14 years 8 months ago
Extracting Program Logics From Abstract Interpretations Defined by Logical Relations
David A. Schmidt
Added 13 Dec 2010
Updated 13 Dec 2010
Type Journal
Year 2007
Where ENTCS
Authors David A. Schmidt
Comments (0)