(1)
Montoya, G.; Ravelo, J. A Formal Bridge Between Runtime Assertion Checking and Static Verification of Inheritance.
Rev. Tekhné
2016
,
1
.