ESOP 2015
Tue 14 - Thu 16 April 2015 London, United Kingdom
Jasmin Blanchette

Registered user since Tue 21 Mar 2017

Name: Jasmin Blanchette

Affiliation: TU Munich

Contributions

ESOP 2015Author of Witnessing (Co)datatypes within the ESOP-track
Show activities from other conferences

ESOP 2015-profile
View general profile