Models of Static Analysis of Ada Tasking Programs

M. Tiusanen, T. Murata

    Research output: Working paperProfessional

    Original languageEnglish
    Place of PublicationChicago
    Publication statusPublished - 1992
    MoE publication typeD4 Published development or research report or study

    Publication series

    NameTechnical Report
    PublisherUniversity of Illinois at Chicago
    No.UIC-EECS 92-7

    Cite this