Arias Almeida, Jaime Eduardo2023-01-202024-02-102023-01-202024-02-102012https://vitela.javerianacali.edu.co/handle/11522/1338application/pdfapplication/pdfspainfo:eu-repo/semantics/openAccessModel checking for TCC calculushttp://purl.org/coar/resource_type/c_46echttps://creativecommons.org/licenses/by-nc-sa/4.0/http://purl.org/coar/access_right/c_abf2