BibTeX record journals/iwc/SinghAGMP21

download as .bib file

@article{DBLP:journals/iwc/SinghAGMP21,
  author       = {Neeraj Kumar Singh and
                  Yamine A{\"{\i}}t Ameur and
                  Romain Geniet and
                  Dominique M{\'{e}}ry and
                  Philippe A. Palanque},
  title        = {On the Benefits of Using {MVC} Pattern for Structuring Event-B Models
                  of {WIMP} Interactive Applications},
  journal      = {Interact. Comput.},
  volume       = {33},
  number       = {1},
  pages        = {92--114},
  year         = {2021},
  url          = {https://doi.org/10.1093/iwcomp/iwab016},
  doi          = {10.1093/IWCOMP/IWAB016},
  timestamp    = {Thu, 10 Nov 2022 08:55:26 +0100},
  biburl       = {https://dblp.org/rec/journals/iwc/SinghAGMP21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics