%0 Conference Paper %1 conf/fm/BeckerCGHHKNSTT16 %A Becker, Hanno %A Crespo, Juan Manuel %A Galowicz, Jacek %A Hensel, Ulrich %A Hirai, Yoichi %A Kunz, César %A Nakata, Keiko %A Sacchini, Jorge Luis %A Tews, Hendrik %A Tuerk, Thomas %B FM %D 2016 %E Fitzgerald, John S. %E Heitmeyer, Constance L. %E Gnesi, Stefania %E Philippou, Anna %K %P 69-84 %T Combining Mechanized Proofs and Model-Based Testing in the Formal Analysis of a Hypervisor. %U http://dblp.uni-trier.de/db/conf/fm/fm2016.html#BeckerCGHHKNSTT16 %V 9995 %@ 978-3-319-48988-9

@inproceedings{conf/fm/BeckerCGHHKNSTT16, added-at = {2023-12-12T18:43:13.000+0100}, author = {Becker, Hanno and Crespo, Juan Manuel and Galowicz, Jacek and Hensel, Ulrich and Hirai, Yoichi and Kunz, César and Nakata, Keiko and Sacchini, Jorge Luis and Tews, Hendrik and Tuerk, Thomas}, biburl = {https://www.bibsonomy.org/bibtex/2d639cc9a3dcdcc9ea8aac00bfab68f17/admin}, booktitle = {FM}, crossref = {conf/fm/2016}, editor = {Fitzgerald, John S. and Heitmeyer, Constance L. and Gnesi, Stefania and Philippou, Anna}, ee = {https://doi.org/10.1007/978-3-319-48989-6_5}, interhash = {16489891580624d2dbdf139870bad7b5}, intrahash = {d639cc9a3dcdcc9ea8aac00bfab68f17}, isbn = {978-3-319-48988-9}, keywords = {}, pages = {69-84}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-12T18:43:13.000+0100}, title = {Combining Mechanized Proofs and Model-Based Testing in the Formal Analysis of a Hypervisor.}, url = {http://dblp.uni-trier.de/db/conf/fm/fm2016.html#BeckerCGHHKNSTT16}, volume = 9995, year = 2016 }