Cocktail: A Tool for Deriving Correct Programs

• Autores: H. de Swart, M. Franssen
• Localización: Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Serie A: Matemáticas ( RACSAM ), ISSN-e 1578-7303, Vol. 98, Nº. 1-2, 2004 (Ejemplar dedicado a: Computación simbólica en Lógica e Inteligencia artificial), pág. 127
• Idioma: inglés
• Enlaces
  • Texto completo (pdf)