BibTeX record conf/tap/BloemHRS15

• > Home > conf/tap/BloemHRS15

@inproceedings{DBLP:conf/tap/BloemHRS15,
  author       = {Roderick Bloem and
                  Daniel M. Hein and
                  Franz R{\"{o}}ck and
                  Richard Schumi},
  editor       = {Jasmin Christian Blanchette and
                  Nikolai Kosmatov},
  title        = {Case Study: Automatic Test Case Generation for a Secure Cache Implementation},
  booktitle    = {Tests and Proofs - 9th International Conference, TAP@STAF 2015, L'Aquila,
                  Italy, July 22-24, 2015. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9154},
  pages        = {58--75},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-21215-9\_4},
  doi          = {10.1007/978-3-319-21215-9\_4},
  timestamp    = {Tue, 23 Jun 2020 17:47:28 +0200},
  biburl       = {https://dblp.org/rec/conf/tap/BloemHRS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}