Concepedia
Statistics
Publications
1
Citations
10
H-Index
Active since
2017
Affiliations
Altran (United Kingdom)(Current)
S Matthews is an author at Altran (United Kingdom).
Publications per year
2017–2017
Formal verification: will the seedling ever flower?
Neil White, S Matthews, Roderick Chapman · Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences · 2017 · 10 citations · Full text
1–1 of 1