Open AccessIs CADP an Applicable Formal Method?
Author(s) -
Hubert Garavel,
Frédéric Lang,
Radu Mateescu,
Wendelin Serwe
Publication year - 2021
Publication title -
cornell university
Language(s) - English
Resource type - Conference proceedings
DOI - 10.48550/arxiv.2111.08203
Subject(s) - computer science , formal methods , environmental science , calculus (dental) , programming language , medicine , orthodontics