Aziem Chawdhary、Byron Cook、Sumit Gulwani、Mooly Sagiv 和 Hongseok Yang 电子书下载

原名:Aziem Chawdhary, Byron Cook, Sumit Gulwani, Mooly Sagiv and Hongseok Yang
作品简介:为什么要证明。终止？ • 反应性代码的验证。 • 如果我调用一个函数，它总是返回吗？ • 如果我请求某个资源，我最终会获得访问权限吗？……