Automatic generation of logical models for order-sorted first-order theories in program analysis

Colecciones

Analysis and Transformation

Cargando...

Página completa del ítem

Mostrar cita

Mostrar cita en BibTeX