Automated Techniques for Higher-Order Program Verification

Icon

Shonan Meeting Seminar 005

Organizer

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