Analysis and Verification of Pointer Programs

Marieke Huisman, Thomas Noll, Makoto Tatsuta

    Research output: Book/ReportReportAcademic

    16 Downloads (Pure)
    Original languageEnglish
    Place of PublicationTokyo, Japan
    PublisherNational Institute of Informatics
    Publication statusPublished - 2017

    Publication series

    NameNII Shonan Meeting Reports
    No.2017-14
    ISSN (Print)2186-7437

    Cite this