|
 
|
[BOI02] Automatiser les preuves d'un sous-langage de la méthode B
Revue Nationale avec comité de lecture : Journal TSI, Technique et Science Informatiques, vol. 20(8), 2002
motcle:
BibTeX
| @article { | |||
| BOI02, | |||
| title | = | "{Automatiser les preuves d'un sous-langage de la méthode B}", | |
| author | = | "O. Boite", | |
| journal | = | "TSI, Technique et Science Informatiques", | |
| year | = | 2002, | |
| volume | = | 20, | |
| number | = | 8, | |
| } | |||
