MoDeST: From Theory to Industrial Experience

Katoen, J. P. (Speaker)

    Activity: Talk or presentationOral presentation

    Period17 Sep 2004
    Event titleInternational School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004
    Event typeConference
    LocationBertinoro, Italy
    Degree of RecognitionInternational