| 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.
|
