A. Salcianu, und 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 von Lecture Notes in Computer Science, Seite 199-215. Springer, (2005)
A. von Mayrhauser, und A. Vans. 1997 International Conference on Software Maintenance (ICSM '97),
Proceedings, Seite 12-20. IEEE Computer Society, (1997)
T. Latvala, A. Biere, K. Heljanko, und T. Junttila. Verification, Model Checking, and Abstract Interpretation, 6th International
Conference, VMCAI 2005, Proceedings, Seite 380-395. Springer, (2005)
J. Favre. Language Engineering for Model-Driven Software Development, Volume 04101 von 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 von Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik
(IBFI), Schloss Dagstuhl, Germany, (2004)
D. Dams, und K. Namjoshi. Verification, Model Checking, and Abstract Interpretation, 6th International
Conference, VMCAI 2005, Proceedings, Seite 216-232. Springer, (2005)