On the Interest of Combining UML with the B Formal Method for the Specification of Database Applications - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Regine Laleau. On the Interest of Combining UML with the B Formal Method for the Specification of Database Applications. In ICEIS. pages 56-63, 2000.

@inproceedings{Laleau00,
  title = {On the Interest of Combining UML with the B Formal Method for the Specification of Database Applications},
  author = {Regine Laleau},
  year = {2000},
  tags = {UML, database},
  researchr = {https://researchr.org/publication/Laleau00},
  cites = {0},
  citedby = {0},
  pages = {56-63},
  booktitle = {ICEIS},
}

runs on WebDSL