Login / Signup

Towards a Modular and Variability-Aware Aerodynamic Simulator.

Ferruccio DamianiMichael LienhardtBruno MaugarsBertrand Michel
Published in: The Logic of Software. A Tasting Menu of Formal Methods (2022)
Keyphrases