|
 
|
[LM00a] An Overview of a Method and its support Tool for Generating B Specifications from UML Notations
Conférence Internationale avec comité de lecture : 15th IEEE Int. Conf. on Automated Software Engineering (ASE2000), Grenoble, France, January 2000,
motcle:
BibTeX
| @inproceedings { | |||
| LM00a, | |||
| title | = | "{An Overview of a Method and its support Tool for Generating B Specifications from UML Notations}", | |
| author | = | " R. Laleau and A. Mammar ", | |
| booktitle | = | "{15th IEEE Int. Conf. on Automated Software Engineering (ASE2000), Grenoble, France}", | |
| year | = | 2000, | |
| month | = | "January", | |
| } | |||
