Items where Author, Editor or other role is "Seed, Thomas"
Jump to: Thesis
Number of items: 1.
Thesis
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) |