TY  - BOOK
AU  - Ezudheen, P
AU  - 
ED  - 
TI  - Learning invariants for verification of programs and control systems
U1  - 600 
PY  - 2022///
CY  - Bengaluru
PB  - IISc
KW  - 
KW  - program verification
KW  - verification of control systems
KW  - invariant synthesis
N1  - includes bibliographical references and index; PhD; IISc; 2022
ER  -