-
7521
-
7522Trabajo de grado de pregradoPublished in 2020Repositorio Repositorio Institucional USTAGet full text
Get full text
-
7523Trabajo de grado de pregradoPublished in 2020Repositorio Repositorio Institucional USTAGet full text
-
7524Trabajo de grado de pregradoPublished in 2021Repositorio Repositorio Institucional USTAGet full text
-
7525Trabajo de grado de pregradoPublished in 2021Repositorio Repositorio Institucional USTAGet full text
-
7526Trabajo de grado de pregradoPublished in 2020Repositorio Repositorio Institucional USTAGet full text
-
7527Trabajo de grado de pregradoPublished in 2018Repositorio Repositorio Institucional USTAGet full text
-
7528Masters ThesisPublished in 2016Repositorio Repositorio Institucional USTAGet full text
Get full text
-
7529Doctoral thesisPublished in 2018Repositorio Repositorio Institucional USTAGet full text
Get full text
-
7530Doctoral thesisPublished in 2023Repositorio Universidad Nacional de Colombia“... coming from complex software systems. Formal specifications comprise texts, math, and logic-based...”
Get full text
Get full text
-
7531
-
7532
-
7533
-
7534
-
7535
-
7536
-
7537
-
7538
-
7539
-
7540
