Newcastle University
Toggle Main Menu
Toggle Search
Home
Browse
Latest
Policies
About
Home
Browse
Latest
Policies
About
ePrints
Browse by author
Browsing publications by
Jakob Lechner.
Newcastle Authors
Title
Year
Full text
Dr Georgy Lukyanov
Dr Andrey Mokhov
Jakob Lechner
Formal Verification of Spacecraft Control Programs
2020