Using Formal Methods: if you're so smart, how come you ain't rich?

Brinksma, H. (Invited speaker)

    Activity: Talk or presentationOral presentation

    Description

    Opmerking: Invited Plaats van uitgifte: Kaiserslautern, Germany
    Period9 Oct 1996
    Event titleVoordracht FORTE/PSTV'96
    Event typeConference
    LocationKaiserslautern, Germany

    Keywords

    • METIS-121233