×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [veriml type proof]
Home >
veriml type proof
VeriML DARPA CRASH Project Progress Report Antonis Stampoulis October 5 th, 2012 A language-based, dependently-typed, user-extensible approach to proof.
218 views