Toggle Main Menu Toggle Search

Open Access padlockePrints

Browsing publications by Jakob Lechner.

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