Skip to main content
European Commission logo print header
Content archived on 2022-12-23

Participation in cost 247 project verification and validation methods for formal description used in software engineering