home
|
about
|
talks
|
publications
publications
S. Newton, N. Aschbacher,
The Challenge of Using C in Safety-Critical Applications
, 1–7 (2018)
S. Newton, C. Jeffery,
A Unicon Benchmark Suite
, 1–39 (2014)