Property Preserving Refinement for Csp-Casl [chapter]

Temesghen Kahsai, Markus Roggenbach
2009 Lecture Notes in Computer Science  
doi:10.1007/978-3-642-03429-9_14 fatcat:fkkfl3b3ijam5f3fmp6qfyc2ya