selected publications
-
chapter
- Debugging and Visualization. Lecture Notes in Computer Science. 2016
- Quo Vadis Formal Verification?. Lecture Notes in Computer Science. 2016
- OCL and Model Driven Engineering. Springer eBooks. 67-75. 2005