BibTeX record journals/isse/DelahayeED08

download as .bib file

@article{DBLP:journals/isse/DelahayeED08,
  author       = {David Delahaye and
                  Jean{-}Fr{\'{e}}d{\'{e}}ric {\'{E}}tienne and
                  V{\'{e}}ronique Donzeau{-}Gouge},
  title        = {A formal and sound transformation from Focal to {UML} : an application
                  to airport security regulations},
  journal      = {Innov. Syst. Softw. Eng.},
  volume       = {4},
  number       = {3},
  pages        = {267--274},
  year         = {2008},
  url          = {https://doi.org/10.1007/s11334-008-0060-5},
  doi          = {10.1007/S11334-008-0060-5},
  timestamp    = {Tue, 16 Aug 2022 23:09:37 +0200},
  biburl       = {https://dblp.org/rec/journals/isse/DelahayeED08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}