Constructive extensibility of trustworthy component-based systems.

Jos Dihego, Augusto Sampaio, Marcel Vincius Medeiros Oliveira

Browse the full SAC paper archive.