Búsqueda de Publicación - Prisma - Unidad de Bibliometría

Publicaciones en la fuente LOGIC BASED PROGRAM SYNTHESIS AND TRANSFORMATION

Tipo Año Título Fuente
Artículo2003Verification in ACL2 of a generic framework to synthesize SAT-proversLOGIC BASED PROGRAM SYNTHESIS AND TRANSFORMATION