The common framework initiative for algebraic specifications

• Autores: D. Sannella
• Localización: Recent trends in algebraic development techniques : 15th International Workshop, WADT 2001, joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001, 2001, ISBN 3-540-43159-4, págs. 328-344
• Idioma: inglés
• Texto completo no disponible (Saber más ...)