Home | B News | B Method | R&D Activities | Formal Proof | Publications | Conferences | B, the different languages | Open Source Projects | B Tools | Documents | Links | Contact

---

Formal Methods Documents

• B : Une méthode de développement de logiciels sûrs - Loïc PELHATE
• Formal Specification : a Roadmap - Axel va Lamsweerde
• Computer Safety, Reliability, and Security - Francesca Saglietti