MoDeST: From Theory to Industrial Experience

Katoen, J. P. (Speaker)

Activity: Talk or presentationOral presentation

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