BibTeX record conf/issre/CourbisALBH23

download as .bib file

@inproceedings{DBLP:conf/issre/CourbisALBH23,
  author       = {Anne{-}Lise Courbis and
                  Farid Arfi and
                  Thomas Lambolais and
                  Fran{\c{c}}ois Bughin and
                  Maurice Hayot},
  title        = {Semi-formal and formal specification of a telerehabilitation system
                  for chronic respiratory diseases: methodology and feedback},
  booktitle    = {34th {IEEE} International Symposium on Software Reliability Engineering,
                  {ISSRE} 2023 - Workshops, Florence, Italy, October 9-12, 2023},
  pages        = {75--80},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/ISSREW60843.2023.00050},
  doi          = {10.1109/ISSREW60843.2023.00050},
  timestamp    = {Tue, 14 Nov 2023 16:09:48 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/CourbisALBH23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics