Formal Verification of mCWQ Using Extended Hoare Logic
Crossref DOI link: https://doi.org/10.1007/s11036-018-1142-8
Published Online: 2018-09-29
Published Print: 2019-02
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Xie, Wanling
Zhu, Huibiao
Wu, Xi
Vinh, Phan Cong http://orcid.org/0000-0002-0797-0152
Text and Data Mining valid from 2018-09-29
Article History
First Online: 29 September 2018