EUROFORM
Project Title
Formal methods for correct system design
OpenAIRE ID
CHRX920061
Thumbnail Image
Start
01 August 1993
End
31 July 1996
Framework
fundingProgram