%0 Journal Article %1 journals/toplas/NorrisD16 %A Norris, Brian %A Demsky, Brian %D 2016 %J ACM Trans. Program. Lang. Syst. %K %N 3 %P 10:1-10:51 %T A Practical Approach for Model Checking C/C++11 Code. %U http://dblp.uni-trier.de/db/journals/toplas/toplas38.html#NorrisD16 %V 38

@article{journals/toplas/NorrisD16, added-at = {2023-12-13T00:06:29.000+0100}, author = {Norris, Brian and Demsky, Brian}, biburl = {https://www.bibsonomy.org/bibtex/2c0d59f7fbe7189c636285cb824ed0c51/admin}, ee = {https://doi.org/10.1145/2806886}, interhash = {5edc14f0a9c7f2087f39c038dccc522f}, intrahash = {c0d59f7fbe7189c636285cb824ed0c51}, journal = {ACM Trans. Program. Lang. Syst.}, keywords = {}, number = 3, pages = {10:1-10:51}, timestamp = {2023-12-13T00:06:29.000+0100}, title = {A Practical Approach for Model Checking C/C++11 Code.}, url = {http://dblp.uni-trier.de/db/journals/toplas/toplas38.html#NorrisD16}, volume = 38, year = 2016 }