Modular development of certified program verifiers with a proof assistant,
CHLIPALA, ADAMVolume:
18
Language:
english
Journal:
Journal of Functional Programming
DOI:
10.1017/S0956796808006904
Date:
September, 2008
File:
PDF, 394 KB
english, 2008