"8th IEEE International Conference on Software Engineering and Formal ..."

José Luiz Fiadeiro, Stefania Gnesi, Andrea Maggiolo-Schettini (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics