2017年11月27日
【Static Program Analysis - Chapter 1】 Introduction
摘要： Regarding correctness, programmers routinely use testing to gain confidence that their programs works as intended, but as famously stated by Dijkstra: 阅读全文
posted @ 2017-11-27 11:04 max_xbw 阅读(428) 评论(0) 推荐(0) 编辑