Search for persons
X
?
Reversible Computation; Lecture Notes in Computer Science ,
1
Reversibility with Holes: (Work in Progress):
, In:
?
Formal Methods and Software Engineering; Lecture Notes in Computer Science ,
3
Generation of a Reversible Semantics for Erlang in Maude:
, In:
?
Reversible Computation; Lecture Notes in Computer Science ,
4
Reversibility in Erlang: Imperative Constructs:
, In:
?
Reversible Computation; Lecture Notes in Computer Science ,
5