Toggle Main Menu Toggle Search

Open Access padlockePrints

Browsing publications by Jakob Lechner

Newcastle AuthorsTitleYearFull text
Georgy Lukyanov
Dr Andrey Mokhov
Jakob Lechner
Formal Verification of Spacecraft Control Programs2020