|
 
|
[VLS00] Deriving Software Specifications from Event Based Models
Conférence Internationale avec comité de lecture : ZB 2000, Int. Conf.rence of B and Z Users, York, U.K., January 2000,
motcle:
Résumé:
resume
Commentaires:
note
BibTeX
| @inproceedings { | |||
| VLS00, | |||
| title | = | "{Deriving Software Specifications from Event Based Models}", | |
| author | = | " V. Viguie Donzeau-Gouge and N. Lopez and M. Simonot ", | |
| booktitle | = | "{ZB 2000, Int. Conf.rence of B and Z Users, York, U.K.}", | |
| year | = | 2000, | |
| month | = | "January", | |
| note | = | "{note}", | |
| } | |||
