[
talks
] [
about
] [
publications
] [
posts
] [
home
]
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)