Browse Graduate Dissertations and Theses at Illinois by Author "Ștefănescu, Andrei"

  • Ștefănescu, Andrei (2016-07-08)
    Recent years have seen a renewed interest in the area of deductive program verification, with focus on verifying real-world software components. Success stories include the verification of operating system kernels and of ...

    application/pdf

    application/pdfPDF (2MB)