POPL 2024
Wed 17 - Fri 19 January 2024 London, United Kingdom
Daniele Nantes-Sobrinho

Registered user since Mon 24 Apr 2023

Name:Daniele Nantes-Sobrinho
Country:United Kingdom
Affiliation:Imperial College London
Research interests:Formal Methods; Separation Logic; Verification; Logical Methods for Computer Science

Contributions

Show activities from other conferences

Using general profile