Wojciech Kowalczyk, Pawel Urzyczyn. Verification of Programs with Higher-Order Arrays. In Lothar Budach, Rais Gatic Bakharajev, Oleg Borisovic Lipanov, editors, Fundamentals of Computation Theory, International Conference FCT 87, Kazan, USSR, June 22-26, 1987, Proceedings. Volume 278 of Lecture Notes in Computer Science, pages 251-258, Springer, 1987.
@inproceedings{KowalczykU87,
title = {Verification of Programs with Higher-Order Arrays},
author = {Wojciech Kowalczyk and Pawel Urzyczyn},
year = {1987},
tags = {program verification},
researchr = {https://researchr.org/publication/KowalczykU87},
cites = {0},
citedby = {0},
pages = {251-258},
booktitle = {Fundamentals of Computation Theory, International Conference FCT 87, Kazan, USSR, June 22-26, 1987, Proceedings},
editor = {Lothar Budach and Rais Gatic Bakharajev and Oleg Borisovic Lipanov},
volume = {278},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-18740-5},
}