Publications
Export 5 results:
Author Title Type [ Year
] Filters: First Letter Of Title is V and Author is Salvatore Ruggieri [Clear All Filters]
, “Verification of Logic Programs”, J. Log. Program., vol. 39, pp. 125-176, 1999.
, “Verification of Meta-Interpreters”, J. Log. Comput., vol. 7, pp. 267-303, 1997.