|
 
|
[FLP00] From OMT Diagrams to B Specifications
Chapitres de Livre : January 2000,
motcle:
Commentaires:
"Software Specification Methods : an Overview Using a Case Study", Springer, FACIT series, eds : Marc Frappier and Henri Habrias, October 2000.
BibTeX
| @inbook { | |||
| FLP00, | |||
| title | = | "{}", | |
| chapter | = | "{From OMT Diagrams to B Specifications}", | |
| author | = | "P. Facon and R. Laleau and H. Phuong Nguyen", | |
| year | = | 2000, | |
| note | = | "{"Software Specification Methods : an Overview Using a Case Study", Springer, FACIT series, eds : Marc Frappier and Henri Habrias, October 2000.}", | |
| } | |||
