A survey of input-output semantics and program verification, rep. 344

作者:

Highlights:

摘要

论文关键词:

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

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