Tony Clark – Supervised Work — Aston Research Explorer

View Scopus Profile

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

If you made any changes in Pure these will be visible here soon.

Student theses

1 results
- Title(descending)
- Award date

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

File

Your message has successfully been sent.

Your message was not sent due to an error.