BibTeX record conf/fase/MasciZJCT14

• > Home > conf/fase/MasciZJCT14

@inproceedings{DBLP:conf/fase/MasciZJCT14,
  author       = {Paolo Masci and
                  Yi Zhang and
                  Paul L. Jones and
                  Paul Curzon and
                  Harold W. Thimbleby},
  editor       = {Stefania Gnesi and
                  Arend Rensink},
  title        = {Formal Verification of Medical Device User Interfaces Using {PVS}},
  booktitle    = {Fundamental Approaches to Software Engineering - 17th International
                  Conference, {FASE} 2014, Held as Part of the European Joint Conferences
                  on Theory and Practice of Software, {ETAPS} 2014, Grenoble, France,
                  April 5-13, 2014, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8411},
  pages        = {200--214},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-642-54804-8\_14},
  doi          = {10.1007/978-3-642-54804-8\_14},
  timestamp    = {Mon, 26 Jun 2023 20:49:07 +0200},
  biburl       = {https://dblp.org/rec/conf/fase/MasciZJCT14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}