Formal Verification and Analysis of PAWS

András L. 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

    Cite this