BibTeX
@MISC{Kanig_specificationand,
author = {Johannes Kanig},
title = {Specification and Proof of Higher-Order Programs},
year = {}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
1.2. Methods to Obtain more Reliable Programs................ 2
