Analysis and Verification of Pointer Programs

Marieke Huisman, Thomas Noll, Makoto Tatsuta

    Research output: Book/ReportReportAcademic

    14 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

    Huisman, M., Noll, T., & Tatsuta, M. (2017). Analysis and Verification of Pointer Programs. (NII Shonan Meeting Reports; No. 2017-14). Tokyo, Japan: National Institute of Informatics.