ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Thomas Leventis

Registered user since Tue 26 Mar 2019

Name:Thomas Leventis
Country:Italy
Affiliation:Università di Bologna

Contributions

FOSSACS 2019 Strong Adequacy and Untyped Full-Abstraction for Probabilistic Coherence Spaces
Show activities from other conferences

ETAPS 2019-profile
View general profile