Abstraction Refinement for Large Scale Model Checking - 9781489993953

Wang - Abstraction Refinement for Large Scale Model Checking - New har - X555z

Abstraction Refinement for Large Scale Model Checking by Chao Wang: New

Winter - Model Checking Abstract State Machines - New paperback or sof - X555z

Bjrner - Software Engineering 1 Abstraction and Modelling - New pap - X555z

Dinnebier - Rietveld Refinement - New paperback or softback - X555z

Henglein - Verification Model Checking and Abstract Interpretation - X555z

Back - Refinement Calculus A Systematic Introduction - New paperback - X555z