A Reversible Operational Semantics for Imperative Programming Languages

von Fernández, Maribel
Veröffentlicht in ICFEM (22. : 2021 : Singapur) Formal methods and software engineering (2021)