Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - CPAPER
ID - DBLP:conf/birthday/DamianiLMM20
AU - Damiani, Ferruccio
AU - Lienhardt, Michael
AU - Maugars, Bruno
AU - Michel, Bertrand
TI - Towards a Modular and Variability-Aware Aerodynamic Simulator.
BT - The Logic of Software. A Tasting Menu of Formal Methods - Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday
SP - 147
EP - 172
PY - 2022//
DO - 10.1007/978-3-031-08166-8_8
UR - https://doi.org/10.1007/978-3-031-08166-8_8
ER -
