doi:10.2201/NiiPi.2013.10.9 |
Automated techniques for higher-order program verification |
Naoki KOBAYASHI1, Luke ONG2 and David Van HORN3 |
1The University of Tokyo 2University of Oxford 3Northeastern University |
(Received: ) (Revised: ) (Accepted: ) |
Abstract:
No abstract.
|
Keywords:
No keyword.
|
|
PDF(776KB) |

National Institute of Informatics is a member of CrossRef.
|