VEST - Verification of Session Types Workshop

Date: 
Thursday, June 4, 2020, 12:00am - Friday, June 5, 2020, 12:00am

University of Glasgow (Online)

http://groups.inf.ed.ac.uk/abcd/VEST/