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 ...
Lee mas
Total Books: 1 - 1 /1
