Total Books: 1 - 1 /1
Abstraction Refinement for Large Scale Model Checking
This book describes recent research developments in automatic abstraction refinement techniques. The authors address the ...
Continue reading
Total Books: 1 - 1 /1
