VDM/Overture Workshop

Aichernig, B. (Speaker)

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

Description

Talk: Recent Trends in OO Modelling Languages: JML, rCOS, CREDO
Period28 Nov 2006
Held atVDM/Overture Workshop
Event typeWorkshop