Formal Verification and Analysis of PAWS

A. Oláh

    Research output: Book/Report › Report › Other research output

    Original languageEnglish
    Place of PublicationEnschede
    PublisherUniversity of Twente
    Number of pages33
    Publication statusPublished - 1995

    Publication series

    NameCTIT technical reports series
    No.95-15

    Keywords

    • METIS-118231

    Cite this