Automatic generation of polynomial invarianst for systema verification

Tesis doctoral de Enric Rodríguez Carbonell   Datos académicos de la tesis doctoral «Automatic generation of polynomial invarianst for systema […]

, , , , ,