EUROFORM

Project Title
Formal methods for correct system design
OpenAIRE ID
CHRX920061
Loading...
Thumbnail Image
Start Date
August 1, 1993
End Date
July 31, 1996
Framework Progam
Funding Program