Skip to main content
European Commission logo print header
Contenido archivado el 2022-12-23

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