Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Kirill Golubev
conf.researchr.org general profile
POPL 2024 profile
Registered user since Fri 19 Jan 2024
Name:
Kirill Golubev
Country:
Portugal
Affiliation:
University of Lisbon
Contributions
2024
WITS
Author of Implementing separation logic using an SMT-backed Frame Rule within the WITS 2024-track
Share
x
Sun 22 Dec 04:31
