Viswanath Kasturi. Building and Proving Correctness of Programs using Discrete Dynamical Systems. In Hsing-wei Chu, editor, Proceedings of the 2nd International Conference Computing, Communications and Control Technologies, CCCT 2004, Austin, TX, USA, August 14-17, 2004, Volume 1. pages 372-377, The International Institute of Informatics and Systemics (IIIS), 2004.
@inproceedings{Kasturi04, title = {Building and Proving Correctness of Programs using Discrete Dynamical Systems}, author = {Viswanath Kasturi}, year = {2004}, researchr = {https://researchr.org/publication/Kasturi04}, cites = {0}, citedby = {0}, pages = {372-377}, booktitle = {Proceedings of the 2nd International Conference Computing, Communications and Control Technologies, CCCT 2004, Austin, TX, USA, August 14-17, 2004, Volume 1}, editor = {Hsing-wei Chu}, publisher = {The International Institute of Informatics and Systemics (IIIS)}, }