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
Via les téléchargements ci-dessous :