Professor Arthur G Richards

M.Eng.(Cantab.), S.M.(M.I.T.), Ph.D. (M.I.T.)

  • BS16 1QY

20012020

Research output per year

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

Research Output

Filter
Conference Poster
2014

Formal Verification of Control System Properties with Theorem Proving

Araiza Illan, D., Eder, K. I. & Richards, A. G., 9 Jul 2014.

Research output: Contribution to conferenceConference Poster