Semantique naturelle et Coq : vers la specification et les preuves sur les langages a objets

Abstract

Theme 2 - Genie logiciel et calcul symbolique. Projet CROAPAvailable from INIST (FR), Document Supply Service, under shelf-number : 14802 E, issue : a.1997 n.3307 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueSIGLEFRFranc