BibTeX record conf/ecsa/MorrisSHHAB20

• > Home > conf/ecsa/MorrisSHHAB20

@inproceedings{DBLP:conf/ecsa/MorrisSHHAB20,
  author       = {Karla Morris and
                  Colin F. Snook and
                  Thai Son Hoang and
                  Geoffrey C. Hulette and
                  Robert C. Armstrong and
                  Michael J. Butler},
  editor       = {Henry Muccini and
                  Paris Avgeriou and
                  Barbora Buhnova and
                  Javier C{\'{a}}mara and
                  Mauro Caporuscio and
                  Mirco Franzago and
                  Anne Koziolek and
                  Patrizia Scandurra and
                  Catia Trubiani and
                  Danny Weyns and
                  Uwe Zdun},
  title        = {Formal Verification of Run-to-Completion Style Statecharts Using Event-B},
  booktitle    = {Software Architecture - 14th European Conference, {ECSA} 2020 Tracks
                  and Workshops, L'Aquila, Italy, September 14-18, 2020, Proceedings},
  series       = {Communications in Computer and Information Science},
  volume       = {1269},
  pages        = {311--325},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-59155-7\_24},
  doi          = {10.1007/978-3-030-59155-7\_24},
  timestamp    = {Tue, 22 Nov 2022 09:39:14 +0100},
  biburl       = {https://dblp.org/rec/conf/ecsa/MorrisSHHAB20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}