文件名称：Verification of Object-Oriented Software-The KeY Approach
文件大小：5.43MB
文件格式：PDF
更新时间：2015-01-05 09:45:42
Verification Object-Oriented KeY
A very good book on verification Edited by J. G. Carbonell and J. Siekmann Verification of Object-Oriented Software-The KeY Approach