Write a Blog >>
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é Paris Diderot

Personal website: http://delbian.co

Research interests: Programing Languages - Verification - Concurrency


SPLASH 2019Author of Resource Morphisms for Specifying Concurrent Programs in Separation Logic within the OOPSLA-track
Show activities from other conferences

Using general profile