|
 
|
[LP02] Coming and going from UML to B : a proposal to support traceability in rigorous IS development
Conférence Internationale avec comité de lecture : ZB?2002: Int. Conf. on Formal Specification and Development in Z and B, January 2002, Vol. 2272,
motcle:
Commentaires:
Grenoble, France, Janvier 2002
BibTeX
| @inproceedings { | |||
| LP02, | |||
| title | = | "{Coming and going from UML to B : a proposal to support traceability in rigorous IS development}", | |
| author | = | " R. Laleau and F. Polack ", | |
| booktitle | = | "{ZB?2002: Int. Conf. on Formal Specification and Development in Z and B}", | |
| year | = | 2002, | |
| month | = | "January", | |
| volume | = | 2272, | |
| note | = | "{Grenoble, France, Janvier 2002}", | |
| } | |||
