A Proof System for HRML with Extended Hoare Logic.

Ningning Chen, Huibiao Zhu, Huixing Fang

Browse the full TASE paper archive.