CAP Project
The CAP Sino-German Project
Home
Work Packages
WP1: Exploiting Modularity and Compositionality
WP2: Abstraction-Based Model Reduction
WP3: Approaches for Parametrized Systems
Partners & People
Announcements
Publications
Deliverables
Paper accepted in PLDI’18
andrea
February 13, 2018
May 2, 2018
Publication
