Items where Author, Editor or other role is "Seed, Thomas"
Jump to: 2021
Number of items: 1.
2021
Seed, Thomas (2021) Program Verification Using Polynomials Over Modular Arithmetic. Doctor of Philosophy (PhD) thesis, University of Kent,. (doi:10.22024/UniKent/01.02.90261) (KAR id:90261) |