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

Published in: Inf. Softw. Technol. (2006)

Keyphrases