Towards Rigorous and Effective Type Contracts.

Francisco José Galán Morillo José Miguel Cañete Valdeón

Published in: JISBD (2001)

Keyphrases

real time
management system
supply chain
information retrieval
high quality
learning environment
digital libraries
data model