%0 Journal Article %1 journals/tcs/Hortala-GonzalezR89 %A Hortalá-González, Maria Teresa %A Rodríguez-Artalejo, Mario %D 1989 %J Theor. Comput. Sci. %K dblp %N 3 %P 277-302 %T Hoare's Logic for Nondeterministic Regular Programs: A Nonstandard Approach. %U http://dblp.uni-trier.de/db/journals/tcs/tcs68.html#Hortala-GonzalezR89 %V 68

@article{journals/tcs/Hortala-GonzalezR89, added-at = {2021-02-17T00:00:00.000+0100}, author = {Hortalá-González, Maria Teresa and Rodríguez-Artalejo, Mario}, biburl = {https://www.bibsonomy.org/bibtex/2bfdbd4f6f4b0f475492ad48c344c5e17/dblp}, ee = {https://doi.org/10.1016/0304-3975(89)90165-5}, interhash = {db8ec7c930cc6592c55ddc6185c753ee}, intrahash = {bfdbd4f6f4b0f475492ad48c344c5e17}, journal = {Theor. Comput. Sci.}, keywords = {dblp}, number = 3, pages = {277-302}, timestamp = {2024-04-08T18:45:43.000+0200}, title = {Hoare's Logic for Nondeterministic Regular Programs: A Nonstandard Approach.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs68.html#Hortala-GonzalezR89}, volume = 68, year = 1989 }