314 followers
Reasoning about Separation Using Abstraction and Reification - Springer http://t.co/3BVOM5uIGS
Reasoning about Separation Using Abstraction and Reification - Springer http://t.co/3BVOM5uIGS
13th International Conference, SEFM 2015 York, UK, September 7–11, 2015 Proceedings http://t.co/B0GVl4ERTQ
Towards Domain Refinement for UML/OCL Bounded Verification - Springer http://t.co/RVvZR3RVYc
Towards Domain Refinement for UML/OCL Bounded Verification - Springer http://t.co/1cXpcJTbtX