Home
|
Contact
Program Inversion and Reversible Computation
Home
About
Persons
Languages
and Tools
Janus
RL/SRL
ISA's
rFun
Bibliography
Current projects
Reversible computation - extending horizons of computing
ICT COST Action IC1405
External link