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

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