Formal Verification and Analysis of PAWS

A. Oláh

    Research output: Book/ReportReportOther 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

    Oláh, A. (1995). Formal Verification and Analysis of PAWS. (CTIT technical reports series; No. 95-15). Enschede: University of Twente.