56187Augmenter les outils de raisonnement sur le langage B par des techniques SAT et SMT [En savoir plus]BLaSST - ANR-21-CE25-0010
AAPG2021 - 2021

Voir les documents associés 

Exporter

• Export XML
• Export RDF