Germán Andrés Delbianco

Sun 20 - Fri 25 October 2019 Athens, Greece

Registered user since Wed 20 Jul 2016

Name: Germán Andrés Delbianco

Country: France

Affiliation: IRIF - Université de Paris

Personal website: http://delbian.co

Research interests: Programing Languages - Verification - Concurrency

Contributions

SPLASH 2019	Specifying Concurrent Programs in Separation Logic: Morphisms and Simulations Specifying Concurrent Programs in Separation Logic: Morphisms and Simulations
Show activities from other conferences

SPLASH 2019-profile
View general profile