Calculational Semantics: Deriving Programming Theories from Equations by Functional Predicate Calculus

• Autores: Raymond Boute
• Localización: ACM transactions on programming languages and systems, ISSN 0164-0925, Vol. 28, Nº 4, 2006, págs. 747-793
• Idioma: inglés
• Texto completo no disponible (Saber más ...)