Arthur G Richards – Research Outputs — University of Bristol

View Scopus Profile

EmailArthur.Richardsbristol.acuk

BS16 1QY

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

62 Conference Contribution (Conference Proceeding)
26 Article (Academic Journal)
24 Conference Paper
4 Commissioned report
More

1 results

Filter

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 conference › Conference Poster › peer-review