Montoya G, Ravelo J. A formal bridge between runtime assertion checking and static verification of inheritance. Rev. Tekhné [Internet]. 20 de enero de 2016 [citado 5 de mayo de 2024];1(14). Disponible en: https://revistasenlinea.saber.ucab.edu.ve/index.php/tekhne/article/view/2651