Verification of Embedded Software

Katoen, J. P. (Speaker)

    Activity: Talk or presentationOral presentation

    Description

    Plaats van uitgifte: Freiburg, Germany
    Period1 Jul 2003
    Event titleKolloquium at the University of Freiburg
    Event typeConference
    LocationFreiburg, Germany

    Keywords

    • METIS-215028