José F. Morales · 2 obras en el catálogoObrasPPractical Aspects of Declarative LanguagesPractical Aspects of Declarative LanguagesSStatic AnalysisStatic Analysis