Write a Blog >>
POPL 2021
Sun 17 - Fri 22 January 2021 Online
František Farka

Registered user since Tue 5 Jan 2021

Name: František Farka

Affiliation: IMDEA Software Institute, Spain

Twitter: https://twitter.com/frantafarka

Contributions

POPL 2021 On Algebraic Abstractions for Concurrent Separation Logics
Show activities from other conferences

POPL 2021-profile
View general profile