Browsing by Author "b21d589d-cc2f-4813-9602-6405bb7c245d"
Now showing items 1-1 of 1
-
Fehrmann Rojas, Hans Jacob (Universidad de Chile, 2020)Los asistentes de pruebas son una herramienta de software donde es posible desarrollar pro- gramas sobre los cuales se pueden demostrar propiedades y as ́ı certificarlos. Esto es posible a trav ́es de teor ́ıas de tipo ...