From a B formal specification to an executable code: application to the relational database domain

• Autores: Régine Laleau, Amel Mammar
• Localización: Information and software technology, ISSN 0950-5849, Vol. 48, Nº 4, 2006, págs. 253-279
• Idioma: inglés
• Texto completo no disponible (Saber más ...)