Fingerprint
Dive into the research topics of 'An Axiomatic Basis for Computer Programming on the Relaxed Arm-A Architecture: The AxSL Logic'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
An Axiomatic Basis for Computer Programming on the Relaxed Arm-A Architecture: The AxSL Logic
Angus Hammond, Zongyuan Liu, Thibaut Pérami, Peter Sewell, Lars Birkedal, Jean Pichon-Pharabod
Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review
1
Citation
(Scopus)