Proving the correctness of regular deterministic programs: a unifying survey using dynamic logic, RC 7557 Nr. 32673

作者:

Highlights:

摘要

论文关键词:

论文评审过程:Available online 10 June 2003.

论文官网地址:https://doi.org/10.1016/0306-4379(80)90038-1