Verificación_de_programas
at
DBpedia LatAm
http://es-la.dbpedia.org/resource/Verificación_de_programas
Is
dbpedia-owl:
wikiPageWikiLink
of
dbpedia-latam:
Extended_ML
dbpedia-latam:
Lógica_matemática
dbpedia-latam:
Scheme