Product-line assurance cases from contract-based design.

Damir NesicMattias NybergBarbara Gallina
Published in: J. Syst. Softw. (2021)
Keyphrases