VDM/Overture Workshop

Aktivität: Vortrag oder PräsentationVortrag bei Workshop, Seminar oder KursScience to science

Beschreibung

Talk: Recent Trends in OO Modelling Languages: JML, rCOS, CREDO
Zeitraum28 Nov. 2006
EreignistitelVDM/Overture Workshop
VeranstaltungstypWorkshop