Verification of Object Oriented Software The KeY Approach
A very good book on verification Edited by J. G. Carbonell and J. Siekmann Verification of Object-Oriented Software-The KeY Approach
下载地址
用户评论
这么偏的材料都能找到太牛了上课要用的
很好，在斯普林格上要79.99欧元才买得到。