"A refinement checking based strategy for component-based systems evolution."

José Dihego, Augusto Sampaio, Marcel Oliveira (2020)

Details and statistics

DOI:

access: open

type: Informal or Other Publication

metadata version: 2024-06-12

a service of  Schloss Dagstuhl - Leibniz Center for Informatics