[1]
G. Montoya y J. Ravelo, «A formal bridge between runtime assertion checking and static verification of inheritance»,
Rev. Tekhné
, vol. 1, n.º 14, ene. 2016.