Learning invariants for verification of programs and control systems by P Ezudheen; advised by Deepak D'Souza
Material type:![Book](/opac-tmpl/lib/famfamfam/BK.png)
- 600 EZU/L
includes bibliographical references and index
PhD; IISc; 2022
includes bibliographical references and index
PhD; IISc; 2022
There are no comments on this title.