Tony Clark – Supervised Work — Aston Research Explorer

View Scopus Profile

School of Engineering and Applied Science, Aston University
B4 7ET Birmingham
United Kingdom

Student theses

1 results
- Title(descending)
- Award date

Automatic Numerical Solving for Auto-active Verification of Floating-Point Programs
Rasheed, J. A. (Author), Konečný, M. (Supervisor) & Clark, T. (Supervisor), Sept 2022
Student thesis: Doctoral Thesis › Doctor of Philosophy

File

Your message has successfully been sent.

Your message was not sent due to an error.