František Farka

Registered user since Tue 5 Jan 2021

Name:František Farka
Affiliation:IMDEA Software Institute, Spain

Contributions

POPL 2021 Author of On Algebraic Abstractions for Concurrent Separation Logics within the POPL-track