Formal Issues in Modelling and Automated Checking of Software Product Lines

Project: Research

Project Details

Description

{description_courte}
StatusFinished
Effective start/end date1/09/1031/08/11