Thursday, October 7, 2010

Méthodes de spécification de systèmes temps réel en B

http://www.cert.fr/feria/svf/FAC/2004/Papiers/I2.pdf

No comments: