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.

Abstract

Abstract is missing.

runs on