Gift Nuka
2 published titles
Mechanising an imperative theory in the unifying theories of programming
1 edition
- Computing Laboratory, University of Kent
- 2007
- Details
Mechanising the alphabetised relational calculus using Z/Eves
1 edition
- Computing Laboratory, University of Kent
- 2007
- Details
