Home Up Question ?

  Liens intéressants
          

The World-Wide Web Virtual Library: Formal Methods
SPIN
Design and Validation of Computer Protocol, Prentice Hall, New Jersey, 1991, ISBN 0-13-539925-4
 

 

Dernière modification : 08 sept. 2006