conf.researchr.org / Ignacio Fábregas

Not registered as user yet

Name: Ignacio Fábregas

Affiliation: IMDEA Software Institute

Contributions

SPLASH 2019Author of Specifying Concurrent Programs in Separation Logic: Morphisms and Simulations within the OOPSLA-track
Author of Specifying Concurrent Programs in Separation Logic: Morphisms and Simulations within the OOPSLA Artifacts-track