TY  - BOOK
AU  - Garoche,Pierre-Loic
TI  - Formal verification of control system software
T2  - Princeton series in applied mathematics
SN  - 9780691181301
U1  - 629.8 
PY  - 2019///
CY  - Princeton
PB  - Princeton University Press
KW  - Automatic control
KW  - Computer software
KW  - fast
N1  - Includes bibliographical references and index
ER  -