Reasoning about actions with loops via Hoare logic
Crossref DOI link: https://doi.org/10.1007/s11704-016-5158-6
Published Online: 2016-06-09
Published Print: 2016-10
Update policy: https://doi.org/10.1007/springer_crossmark_policy
He, Jiankun
Zhao, Xishun
License valid from 2016-06-09