B. Berard
|
Systems and Software Verification: Model-Checking Techniques and Tools
by
—
published
2001
—
4 editions
|
|
* Note: these are all the books on Goodreads for this author. To add more, click here.
Is this you? Let us know. If not, help out and invite B. to Goodreads.
