Proof and computation
Schwichtenberg, Helmut (Ed.) ; Organisation du traité de l'Atlantique nord. Division des affaires scientifiques (Ed.)
Appartient à la collection : NATO ASI series. Series F : Computer and system sciences, 139, ISSN 0258-1248
Berlin. New York. Springer, c1995
Disponible(->>)