BibTeX record conf/apsec/LedangS02

download as .bib file

@inproceedings{DBLP:conf/apsec/LedangS02,
  author       = {Hung Ledang and
                  Jeanine Souqui{\`{e}}res},
  title        = {Integration of {UML} and {B} Specification Techniques: Systematic
                  Transformation from {OCL} Expressions into {B}},
  booktitle    = {9th Asia-Pacific Software Engineering Conference {(APSEC} 2002), 4-6
                  December 2002, Gold Coast, Queensland, Australia},
  pages        = {495},
  publisher    = {{IEEE} Computer Society},
  year         = {2002},
  url          = {https://doi.org/10.1109/APSEC.2002.1183053},
  doi          = {10.1109/APSEC.2002.1183053},
  timestamp    = {Thu, 23 Mar 2023 23:58:00 +0100},
  biburl       = {https://dblp.org/rec/conf/apsec/LedangS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics