Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo
Hoare’s Logic for Nondeterministic Regular Programs: A Nonstandard Completeness Theorem
ICALP, 1985.
@inproceedings{ICALP-1985-Hortala-GonzalezR,
author = "Maria Teresa Hortalá-González and Mario Rodríguez-Artalejo",
booktitle = "{Proceedings of the 12th Colloquium on Automata, Languages and Programming}",
doi = "10.1007/BFb0015752",
isbn = "3-540-15650-X",
pages = "270--280",
publisher = "{Springer-Verlag}",
series = "{Lecture Notes in Computer Science}",
title = "{Hoare’s Logic for Nondeterministic Regular Programs: A Nonstandard Completeness Theorem}",
volume = 194,
year = 1985,
}