BibTeX record conf/fmics/CamaraGMS05

• > Home > conf/fmics/CamaraGMS05

@inproceedings{DBLP:conf/fmics/CamaraGMS05,
  author       = {Pedro de la C{\'{a}}mara and
                  Mar{\'{\i}}a{-}del{-}Mar Gallardo and
                  Pedro Merino and
                  David San{\'{a}}n},
  editor       = {Tiziana Margaria and
                  Mieke Massink},
  title        = {Model checking software with well-defined APIs: the socket case},
  booktitle    = {Proceedings of the 10th international workshop on Formal methods for
                  industrial critical systems, {FMICS} '05, Lisbon, Portugal, September
                  5-6, 2005},
  pages        = {17--26},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1081180.1081184},
  doi          = {10.1145/1081180.1081184},
  timestamp    = {Tue, 08 Feb 2022 09:06:58 +0100},
  biburl       = {https://dblp.org/rec/conf/fmics/CamaraGMS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}