Towards trustworthy specifications 1: consistency checks

• Autores: M. Roggenbach, L. Schröder
• 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. 305-327
• Idioma: inglés
• Texto completo no disponible (Saber más ...)