Vista de A formal bridge between runtime assertion checking and static verification of inheritance

Volver a los detalles del artículo A formal bridge between runtime assertion checking and static verification of inheritance Descargar Descargar PDF