Systems and Software Verification: Model-Checking Techniques and Tools
2001 · ENGLISH · DJVU
View detailsBooks by author
B. Berard
Systems and Software Verification: Model-Checking Techniques and Tools
2001 · ENGLISH · PDF
View details