عدد الكتب: 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 ...
اقرأ المزيد
عدد الكتب: 1 - 1 /1
