Sciweavers

Share
ITP
2010

Extending Coq with Imperative Features and Its Application to SAT Verification

8 years 3 months ago
Extending Coq with Imperative Features and Its Application to SAT Verification
Michaël Armand, Benjamin Grégoire, Arn
Added 28 Jan 2011
Updated 28 Jan 2011
Type Journal
Year 2010
Where ITP
Authors Michaël Armand, Benjamin Grégoire, Arnaud Spiwack, Laurent Théry
Comments (0)
books