Contact
🔒 Contacts are masked. Get full emails & phones. Unlock via export ↗
Category & trade
Primary
software-and-applications · embed-ft 0.75
Tree path
Technology & Computing › Computing › Software and Applications
Group (tier-1)
Tech stack
AI readiness
AI-Readiness score
39 / 100 · partial · see similar
AI training policy
allowed
Terms of Service
AI-bot protection
AI files
llms.txt ai.txt humans.txt robots.txt
Overview
Title
Outil pour la méthode formelle B permettant de développer des logiciels prouvés sans défaut - Atelier B
Final URL
Language
fr (tld)
Scanned at
2026-07-05 07:44:07