SPLASH 2019 (series) / 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
Contributions
| SPLASH 2019 | Author of Resource Morphisms for Specifying Concurrent Programs in Separation Logic within the OOPSLA-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
Using general profile