Richard B. Kieburtz. Programmed Strategies for Program Verification. Electronic Notes in Theoretical Computer Science, 174(10):3-38, 2007. [doi]
@article{Kieburtz07, title = {Programmed Strategies for Program Verification}, author = {Richard B. Kieburtz}, year = {2007}, doi = {10.1016/j.entcs.2007.02.045}, url = {http://dx.doi.org/10.1016/j.entcs.2007.02.045}, tags = {program verification}, researchr = {https://researchr.org/publication/Kieburtz07}, cites = {0}, citedby = {0}, journal = {Electronic Notes in Theoretical Computer Science}, volume = {174}, number = {10}, pages = {3-38}, }