Une Approche Formelle par Raffinement pour le Développement d Applications Bases de Données Sûres

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.

Abstract

Abstract is missing.