Limit search to available items
Add Marked to Bag Add All On Page Add Marked to My Lists
Authors (Last name first) (1-2 of 2)
Gupta, Aarti, Dr.
1
E-book
2008

Computer aided verification : 20th international conference, CAV 2008, Princeton, NJ, USA, July 7-14, 2008 : proceedings


CAV (Conference) (20th : 2008 : Princeton, N.J.)
Berlin ; New York : Springer, [2008]

Rating:

 
 
2
E-book
2007

SAT-based scalable formal verification solutions


Ganai, Malay.
New York : Springer Science+Business Media, [2007]

Rating:

 
 
Add Marked to Bag Add All On Page
Locate in results