BibTeX record conf/icdim/RehabKC12

• > Home > conf/icdim/RehabKC12

@inproceedings{DBLP:conf/icdim/RehabKC12,
  author       = {Seidali Rehab and
                  Elhillali Kerkouche and
                  Allaoua Chaoui},
  editor       = {Simon Fong and
                  Pit Pichappan and
                  Sabah Mohammed and
                  Patrick Hung and
                  Sohail Asghar},
  title        = {An automatic generation approach of {B} Specifications From {UML}
                  Diagrams},
  booktitle    = {Seventh International Conference on Digital Information Management,
                  {ICDIM} 2012, Macau, Macao, August 22-24, 2012},
  pages        = {73--78},
  publisher    = {{IEEE}},
  year         = {2012},
  url          = {https://doi.org/10.1109/ICDIM.2012.6360116},
  doi          = {10.1109/ICDIM.2012.6360116},
  timestamp    = {Tue, 27 Apr 2021 15:13:49 +0200},
  biburl       = {https://dblp.org/rec/conf/icdim/RehabKC12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}