The book is currently out of stock
Verification, model checking, and abstract interpretation
Authors
Book variant
2006Book purchase
The book is currently out of stock.
2006We have over a million books in stock
2006We have over a million books in stock
2006