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