Learning invariants for verification of programs and control systems by P Ezudheen; advised by Deepak D'Souza
Material type: BookPublication details: Bengaluru IISc 2022Description: xiii, 145pUniform titles:- 600 EZU/L
includes bibliographical references and index
PhD; IISc; 2022
There are no comments on this title.