Login / Signup
From Reversible Semantics to Reversible Debugging.
Ivan Lanese
Published in:
RC (2018)
Keyphrases
</>
markov chain
cellular automata
information systems
logic programming
formal semantics
web services
database systems
model based diagnosis