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)

Category: Organizer, Uncategorized

Tagged:

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.