Synthesizing software verifiers from proof rules

2012-06-11

0

PRE

AI

DOI：10.1145/2254064.2254112

原文链接

原文求助

分享

收藏