Not registered as user yet

Name: Ivan Radicek

Affiliation: TU Vienna

Contributions

POPL 2018 Monadic refinements for relational cost analysis
Show activities from other conferences

POPL 2018-profile
View general profile