VDM/Overture Workshop

Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science

Description

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