Certified Programming with Dependent Types by Adam Chlipala
Certified Programming with Dependent Types

Adam Chlipala

Certified Programming with Dependent Types

Adam Chlipala

369 pages first pub 2010 (editions)

Powered by AI (Beta)
Loading...

Community Reviews

Loading...

Content Warnings

Loading...