Une formalisation de la sémantique des langages de programmation J.-P. Finance (1976) RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Une formalisation de la sémantique des langages de programmation J.-P. Finance (1976) RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications