No.005 Automated Techniques for Higher-Order Program Verification

Naoki Kobayashi?? ??? ?(Tohoku University)
Luke Ong?? ??? ? ? ? ? ??? (University of Oxford)
David Van Horn?? ??? ?? (Northeastern University)