"Recursion and Iteration Support in USE Validator with AnATLyzer."

Jesús Sánchez Cuadrado (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics