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.
Amel Mammar. Une Approche Formelle par Raffinement pour le Développement d Applications Bases de Données Sûres. In Actes du XIXème Congrès INFORSID, Martigny, Suisse, 24-27 mai, 2001. pages 319-339, 2001.
Possibly Related PublicationsThe following publications are possibly variants of this publication: Développement formel par raffinement d applications bases de données sûresAmel Mammar. isi, 6(2):41-72, 2001.
The following publications are possibly variants of this publication: