B/PHOX - un assistant à la preuve en logique d'ordre supérieur pour B

ROCHETEAU ; COLIN ; MARIANO

Type de document
RAPPORT
Langue
francais
Auteur
ROCHETEAU ; COLIN ; MARIANO
Résumé / Abstract

puce  Accès à la notice sur le portail documentaire de l'IFSTTAR

  Liste complète des notices publiques de l'IFSTTAR