Higher-Order Model Checking

Icon

NII Shonan Meeting Seminar 078

Organizers

Naoki Kobayashi (University of Tokyo), Luke Ong (University of Oxford), Igor Walukiewicz (CNRS, Bordeaux)

Category: Organizers

Tagged:

Comments are closed.