International Workshop on Formal Techniques for Safety-Critical Systems, page. 5 - 21, 2012-11-12
International Symposium on Formal Aspects of Component Software, 2012-09-12
International Conference on Fundamental Approaches to Software Engineering, 2012-03-26
International Workshop on Rewriting Logic and Its Applications, page. 29 - 47, 2012-03-24