Bruce W. Watson. Correctness-by-Construction in Stringology. In Jan Holub, Jan Zdárek, editors, Proceedings of the Prague Stringology Conference 2012, Prague, Czech Republic, August 27-28, 2012. pages 1-2, Department of Theoretical Computer Science, Faculty of Information Technology, Czech Technical University in Prague, 2012. [doi]
@inproceedings{Watson12-1,
title = {Correctness-by-Construction in Stringology},
author = {Bruce W. Watson},
year = {2012},
url = {http://www.stringology.org/event/2012/p01.html},
researchr = {https://researchr.org/publication/Watson12-1},
cites = {0},
citedby = {0},
pages = {1-2},
booktitle = {Proceedings of the Prague Stringology Conference 2012, Prague, Czech Republic, August 27-28, 2012},
editor = {Jan Holub and Jan Zdárek},
publisher = {Department of Theoretical Computer Science, Faculty of Information Technology, Czech Technical University in Prague},
isbn = {978-80-01-05095-8},
}