Login / Signup

Reasoning about actions with loops via Hoare logic.

Jiankun HeXishun Zhao
Published in: Frontiers Comput. Sci. (2016)
Keyphrases