%0 Journal Article %1 journals/tocl/FuhsKN17 %A Fuhs, Carsten %A Kop, Cynthia %A Nishida, Naoki %D 2017 %J ACM Trans. Comput. Log. %K %N 2 %P 14:1-14:50 %T Verifying Procedural Programs via Constrained Rewriting Induction. %U http://dblp.uni-trier.de/db/journals/tocl/tocl18.html#FuhsKN17 %V 18

@article{journals/tocl/FuhsKN17, added-at = {2023-12-12T19:17:50.000+0100}, author = {Fuhs, Carsten and Kop, Cynthia and Nishida, Naoki}, biburl = {https://www.bibsonomy.org/bibtex/241d7c42998ed1e98f66bd52c222a086e/admin}, ee = {https://doi.org/10.1145/3060143}, interhash = {1e9bf17a8d817b46d703bf8a6b5f1901}, intrahash = {41d7c42998ed1e98f66bd52c222a086e}, journal = {ACM Trans. Comput. Log.}, keywords = {}, number = 2, pages = {14:1-14:50}, timestamp = {2023-12-12T19:17:50.000+0100}, title = {Verifying Procedural Programs via Constrained Rewriting Induction.}, url = {http://dblp.uni-trier.de/db/journals/tocl/tocl18.html#FuhsKN17}, volume = 18, year = 2017 }