%0 Journal Article %1 journals/fmsd/BestaS05 %A Besta, Milos %A Stomp, Frank A. %D 2005 %J Formal Methods Syst. Des. %K dblp %N 1-2 %P 5-17 %T A Complete Mechanization of Correctness of a String-Preprocessing Algorithm. %U http://dblp.uni-trier.de/db/journals/fmsd/fmsd27.html#BestaS05 %V 27

@article{journals/fmsd/BestaS05, added-at = {2020-03-13T00:00:00.000+0100}, author = {Besta, Milos and Stomp, Frank A.}, biburl = {https://www.bibsonomy.org/bibtex/238e159cc59a6f6c98e077681efad5eac/dblp}, ee = {https://doi.org/10.1007/s10703-005-2243-0}, interhash = {c27c0746a99affbd3f7274a8317dc482}, intrahash = {38e159cc59a6f6c98e077681efad5eac}, journal = {Formal Methods Syst. Des.}, keywords = {dblp}, number = {1-2}, pages = {5-17}, timestamp = {2020-03-14T11:51:31.000+0100}, title = {A Complete Mechanization of Correctness of a String-Preprocessing Algorithm.}, url = {http://dblp.uni-trier.de/db/journals/fmsd/fmsd27.html#BestaS05}, volume = 27, year = 2005 }