The Refinement of Character by Imam ibn Qudamah al Maqdisi (Dar Sunnah)

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

Semi-Automated Refinement of Semantic Models (Berichte aus der Informatik)

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

Modular Compiler Verification: A Refinement-Algebraic Approach Advocating St...

Karl Benjamin and the Evolution of Abstraction: 1950-1980 Brand New Sealed Book

OSPF and IS-IS: Choosing an IGP for Large-Scale Networks: Choosing an IGP fo...

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