Write a Blog >>
SPLASH 2019
Sun 20 - Fri 25 October 2019 Athens, Greece
Germán Andrés Delbianco

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 2019Author of Specifying Concurrent Programs in Separation Logic: Morphisms and Simulations within the OOPSLA Artifacts-track
Author of Specifying Concurrent Programs in Separation Logic: Morphisms and Simulations within the OOPSLA-track
Show activities from other conferences

Using general profile