Towards rigorous and effective type contracts

• Autores: José Miguel Cañete Valdeón, Francisco José Galán Morillo
• Localización: JISBD 2001. Jornadas de ingeniería del software y bases de datos: 21 y 23 de noviembre de 2001. Almagro (Ciudad Real) / Arantza Illarramendi Echave (ed. lit.) , Óscar Díaz García (ed. lit.) , Mario G. Piattini Velthuis (ed. lit.) , 2001, ISBN 84-699-6275-2, págs. 361-373
• Idioma: inglés
• Texto completo no disponible (Saber más ...)