Principles of Model Checking
该书详细地介绍了ModelChecking的基本原理,适合于初学者
5
115
1.6MB
2013-01-27
11