Reversible computations in B

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

Authors

Frank Zeyda

This author has not been identified. Look up 'Frank Zeyda' in Google