Project Details
Description
{description_courte}
| Status | Finished |
|---|---|
| Effective start/end date | 1/10/07 → 30/09/11 |
Problem-driven Specification and Verification of Software Product Lines
- Classen, Andreas (Researcher)
- Heymans, Patrick (CoI)
Project: Research