%0 Journal Article %1 journals/corr/Brain0KS15 %A Brain, Martin %A Joshi, Saurabh %A Kroening, Daniel %A Schrammel, Peter %D 2015 %J CoRR %K %T Safety Verification and Refutation by k-invariants and k-induction (extended version). %U http://dblp.uni-trier.de/db/journals/corr/corr1506.html#Brain0KS15 %V abs/1506.05671

@article{journals/corr/Brain0KS15, added-at = {2023-12-13T08:46:02.000+0100}, author = {Brain, Martin and Joshi, Saurabh and Kroening, Daniel and Schrammel, Peter}, biburl = {https://www.bibsonomy.org/bibtex/28a0b6a1174b7623c3e9254e16097d92a/admin}, ee = {http://arxiv.org/abs/1506.05671}, interhash = {c72db396cc319a5e4af66df284010a75}, intrahash = {8a0b6a1174b7623c3e9254e16097d92a}, journal = {CoRR}, keywords = {}, timestamp = {2023-12-13T08:46:02.000+0100}, title = {Safety Verification and Refutation by k-invariants and k-induction (extended version).}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1506.html#Brain0KS15}, volume = {abs/1506.05671}, year = 2015 }