Montoya, Gabriela, y Jesús Ravelo. 2016. «A Formal Bridge Between Runtime Assertion Checking and Static Verification of Inheritance».
Tekhné
1 (14). https://doi.org/10.62876/tekhn.v1i14.2651.