Correctness-by-Construction in Stringology

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]

Abstract

Abstract is missing.