Hybrid theorem proving of aerospace systems: Applications and challenges (0)

by Khalil Ghorbal, Jean-Baptiste Jeannin, Erik W Zawadzki, André Platzer, Geoffrey J Gordon, Peter Capell
Venue:Journal of Aerospace Information Systems