Hajnal Andréka. Sharpening the characterization of the power of Floyd method. In Andrzej Salwicki, editor, Logics of Programs and Their Applications, Proceedings, Poznan, August 23-29, 1980. Volume 148 of Lecture Notes in Computer Science, pages 1-26, Springer, 1980.
@inproceedings{Andreka80, title = {Sharpening the characterization of the power of Floyd method}, author = {Hajnal Andréka}, year = {1980}, researchr = {https://researchr.org/publication/Andreka80}, cites = {0}, citedby = {0}, pages = {1-26}, booktitle = {Logics of Programs and Their Applications, Proceedings, Poznan, August 23-29, 1980}, editor = {Andrzej Salwicki}, volume = {148}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-11981-7}, }