Documents dédiés aux Méthodes Formelles et à la Méthode B

Via les téléchargements ci-dessous :

• B : UNE MÉTHODE DE DÉVELOPPEMENT DE LOGICIELS SÛRS – LOÏC PELHATE
• B PROJECTS IN THE WORLD
• COMPUTER SAFETY, RELIABILITY, AND SECURITY – FRANCESCA SAGLIETTI
• FORMAL SPECIFICATION : A ROADMAP – AXEL VA LAMSWEERDE