Tuesday, June 29, 2010

Scalable Techniques for Formal Verification

Scalable Techniques for Formal Verification

Sandip Ray, "Scalable Techniques for Formal Verification"
Springer | 2010 | ISBN: 1441959971 | 240 pages | PDF | 2 MB 
 
 





No comments:

Post a Comment