Problem-driven Specification and Verification of Software Product Lines

Project: Research

Project Details

Description

{description_courte}
StatusFinished
Effective start/end date1/10/0730/09/11