Normal view MARC view ISBD view

Mechanical proofs of secutity properties / {D. Le metayer, J. Banatre, C. Bryce}

Publication :Rennes : IRISA, 1994Description : 28 p. ; 30 cmISSN : 1166-8687.Collections : IRISA Publication Interne / INRIA, 825Sujet : SYSTEME REPARTI ;Preuve de programme
Current location Call number Status Date due Barcode
Centre de recherche en informatique
EM AI CI200-2000 Sur demande CRI03260D

Bibliogr. p. 26-28

Powered by Koha