发现好书期刊，享受阅读乐趣

海量图书期刊资源，随时随地畅享阅读乐趣

Automated verification of refinement laws

Automated verification of refinement laws

Peter Höfner; Georg Struth; Geoff Sutcliffe

作者Peter Höfner; Georg Struth; Geoff Sutcliffe
卷第55卷
印刷ISSN1012-2443
电子ISSN1573-7470
文件大小411.42KB
发表时间2009-02
DOI10.1007/s10472-009-9151-8
页码35-62

← 返回【学霸图书馆】主页