A. von Mayrhauser, and A. Vans. 1997 International Conference on Software Maintenance (ICSM '97),
Proceedings, page 12-20. IEEE Computer Society, (1997)
T. Latvala, A. Biere, K. Heljanko, and T. Junttila. Verification, Model Checking, and Abstract Interpretation, 6th International
Conference, VMCAI 2005, Proceedings, page 380-395. Springer, (2005)
J. Favre. Language Engineering for Model-Driven Software Development, volume 04101 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik
(IBFI), Schloss Dagstuhl, Germany, (2004)
J. Favre. Language Engineering for Model-Driven Software Development, volume 04101 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik
(IBFI), Schloss Dagstuhl, Germany, (2004)
D. Dams, and K. Namjoshi. Verification, Model Checking, and Abstract Interpretation, 6th International
Conference, VMCAI 2005, Proceedings, page 216-232. Springer, (2005)