Verification of Embedded Systems Software

Katoen, J. P. (Speaker)

    Activity: Talk or presentationOral presentation

    Description

    Plaats van uitgifte: Munster, Germany
    Period22 May 2002
    Held atUniversity of Munster, Germany

    Keywords

    • METIS-209235