HAL Sciencemetadata only
Le projet BWare : une plate-forme pour la vérification automatique d'obligations de preuve B
[info.info-lo]computer science [cs]/logic in computer science [cs.lo]
This document is indexed with metadata only — full text is not available in the archive for this record.
Open the official source ↗
Record · ID 676742
Retrieved via
Conceptio — every document is proof-bundled with source, license, and retrieval metadata.