Francisco José Galán Morillo, José Miguel Cañete Valdeón. Towards Rigorous and Effective Type Contracts. In Oscar Díaz, Arantza Illarramendi, Mario Piattini, editors, VI Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2001), 1-23 de Noviembre de 2001, Almagro (Ciudad Real). pages 361-374, 2001.
Abstract is missing.