A Reversible Operational Semantics for Imperative Programming Languages
- Maribel Fernández*
- , Ian Mackie
*Corresponding author for this work
- King's College London
- University of Sussex
Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
2
Citations
(Scopus)