Formal Method Documents

Downloads:

• 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