Integrating UML and B Specification Techniques - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Hung Ledang, Jeanine Souquières. Integrating UML and B Specification Techniques. In GI Jahrestagung (2). pages 641-648, 2001.

@inproceedings{LedangS01,
  title = {Integrating UML and B Specification Techniques},
  author = {Hung Ledang and Jeanine Souquières},
  year = {2001},
  tags = {UML},
  researchr = {https://researchr.org/publication/LedangS01},
  cites = {0},
  citedby = {0},
  pages = {641-648},
  booktitle = {GI Jahrestagung (2)},
}

runs on WebDSL