"A Set of Well-Formedness Rules to Checking the Consistency of the Software ..."

Eliana Beatriz Pereira et al. (2011)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics