TY  - BOOK
AU  - Yoon, Sanghyun
TI  - Formal verification of ECML hybrid models with spaceex
PY  - 2017///
KW  - SOFTWARE TECHNLOGY
ER  -