Montoya, G., & Ravelo, J. (2016). A formal bridge between runtime assertion checking and static verification of inheritance.
Tekhné
,
1
(14). https://doi.org/10.62876/tekhn.v1i14.2651