Reversible computations in B

Frank Zeyda. Reversible computations in B. PhD thesis, Teesside University, UK, 2007. [doi]

No reviews for this publication, yet.