Skip to content

Reversible Programs Have Reversible Semantics.

Robert Glck, Robin Kaarsgaard, Tetsuo Yokoyama

VenueBFM
Year2019
ProceedingsFM Workshops (2)

Browse the full FM paper archive.