Andrea Cerone -

Not registered as user

Name:Andrea Cerone

Affiliation:Imperial College London

Personal website: https://www.doc.ic.ac.uk/~acerone/contacts.html

Contributions

2019

OPCT

Author of A Uniform Framework of Transactional Consistency Models for Protocol Verification and Program Analysis within the OPCT 2019-track