In the name of Allah the Merciful

Formal Verification of Control System Software

Pierre-Loı¨c Garoche, 978-0-691-18130-1

15 $

English | 2019 | PDF

number
type
  • {{value}}
wait a little