Automated Techniques for Higher-Order Program Verification


Shonan Meeting Seminar 005


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

Category: Organizer, Uncategorized


One Response

  1. Mr WordPress says:

    Hi, this is a comment.
    To delete a comment, just log in and view the post's comments. There you will have the option to edit or delete them.