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
Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
![]() |
JRD Tata Memorial Library | 600 EZU/L (Browse shelf(Opens below)) | Available | G30958 |
includes bibliographical references and index
PhD; IISc; 2022
There are no comments on this title.