-
8361Trabajo de grado de pregradoPublished in 2022Repositorio Expeditio: repositorio UTadeoGet full text
Get full text
-
8362
-
8363
-
8364
-
8365Investigation reportPublished in 2023Repositorio RiUPTC: Repositorio Institucional UPTCGet full text
-
8366Investigation reportPublished in 2023Repositorio RiUPTC: Repositorio Institucional UPTCGet full text
-
8367
-
8368
-
8369
-
8370Article of journalPor Guzmán-Aguilar, Diana Sirley; Siado-Castañeda, Luis Ricardo; Muñiz Olite, Jorge Luis; Medina Hernández, Edith JohanaPublished in 2023Repositorio Repositorio Institucional UTBGet full text
-
8371https://purl.org/coar/resource_type/c_2f33Por Aristizábal-Tobler, Chantal; Cárdenas López, Hugo; Galvis , Santiago; García, Ana Camila; Gómez-Barrera, Luis Alejandro; Gutiérrez López, Carolina; Maldonado, Carlos Eduardo; Pacheco-Coral, Adriana del Pilar; Sandoval París, JorgePublished in 2019Repositorio Repositorio U. El BosqueGet full text
-
8372
-
8373Doctoral thesisPublished in 2020Repositorio Repositorio Institucional U. CaldasGet full text
Get full text
-
8374
-
8375
-
8376
-
8377Doctoral thesisPublished in 2023Repositorio Universidad Nacional de Colombia“... and validation of formal specifications require expertise in mathematics and logic from both software analysts...”
Get full text
Get full text
-
8378
-
8379
-
8380
