Ildikó Sain. An Elementary Proof for Some Semantic Characterizations of Nondeterministic Floyd-Hoare Logic. Notre Dame Journal of Formal Logic, 30(4):563-573, 1989.
@article{Sain89,
title = {An Elementary Proof for Some Semantic Characterizations of Nondeterministic Floyd-Hoare Logic},
author = {Ildikó Sain},
year = {1989},
tags = {logic},
researchr = {https://researchr.org/publication/Sain89},
cites = {0},
citedby = {0},
journal = {Notre Dame Journal of Formal Logic},
volume = {30},
number = {4},
pages = {563-573},
}