External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Towards Rigorous and Effective Type Contracts

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.

Authors

Francisco José Galán Morillo

This author has not been identified. Look up 'Francisco José Galán Morillo' in Google

José Miguel Cañete Valdeón

This author has not been identified. Look up 'José Miguel Cañete Valdeón' in Google
runs on