Specification and verification

Barnett, Mike; Fähndrich, Manuel; Leino, K. Rustan M.; Müller, Peter; Schulte, Wolfram; Venter, Herman

期刊名称Communications of the ACM
作者Barnett, Mike; Fähndrich, Manuel; Leino, K. Rustan M.; Müller, Peter; Schulte, Wolfram; Venter, Herman
卷第54卷
期第6期
印刷ISSN0001-0782
文件大小536.42KB
发表时间2011-06-01
DOI10.1145/1953122.1953145

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