%0 Conference Paper %1 conf/icfem/FernandezM20 %A Fernández, Maribel %A Mackie, Ian %B ICFEM %D 2020 %E Lin, Shang-Wei %E Hou, Zhe %E Mahony, Brendan P. %I Springer %K dblp %P 91-106 %T A Reversible Operational Semantics for Imperative Programming Languages. %U http://dblp.uni-trier.de/db/conf/icfem/icfem2020.html#FernandezM20 %V 12531 %@ 978-3-030-63406-3

@inproceedings{conf/icfem/FernandezM20, added-at = {2021-04-09T00:00:00.000+0200}, author = {Fernández, Maribel and Mackie, Ian}, biburl = {https://www.bibsonomy.org/bibtex/24a20667b0b21dc05484a0e39b651f0fa/dblp}, booktitle = {ICFEM}, crossref = {conf/icfem/2020}, editor = {Lin, Shang-Wei and Hou, Zhe and Mahony, Brendan P.}, ee = {https://doi.org/10.1007/978-3-030-63406-3_6}, interhash = {7c5684e1c00f18072474a2e36b1c1c37}, intrahash = {4a20667b0b21dc05484a0e39b651f0fa}, isbn = {978-3-030-63406-3}, keywords = {dblp}, pages = {91-106}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T10:19:41.000+0200}, title = {A Reversible Operational Semantics for Imperative Programming Languages.}, url = {http://dblp.uni-trier.de/db/conf/icfem/icfem2020.html#FernandezM20}, volume = 12531, year = 2020 }