A. Salcianu, and M. Rinard. Verification, Model Checking, andVerification, Model Checking, and
Abstract Interpretation, 6th International Conference, VMCAI 2005,
Proceedings Abstract Interpretation, 6th International Conference,
VMCAI 2005, Proceedings, volume 3385 of Lecture Notes in Computer Science, page 199-215. Springer, (2005)
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)