Génération de code exécutable à partir d'une spécification B : applications aux bases de données

Amel Mammar; Régine Laleau

Génération de code exécutable à partir d'une spécification B : applications aux bases de données

Amel Mammar ¹ Régine Laleau ²

1 CEDRIC - Centre d'études et de recherche en informatique et communications

2 LACL - Laboratoire d'Algorithmique Complexité et Logique

Abstract : no abstract

Document type :

Conference papers

Domain :

Computer Science [cs]

Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01224671
Contributor : Régine Laleau <>
Submitted on : Wednesday, November 4, 2015 - 10:50:52 PM
Last modification on : Saturday, February 9, 2019 - 1:26:27 AM

Génération de code exécutable à partir d'une spécification B : applications aux bases de données

Identifiers

Collections

Citation

Export

Metrics

77

Contact

Génération de code exécutable à partir d'une spécification B : applications aux bases de données

Identifiers

Collections

Citation

Export

Share

Metrics

77

Contact