Constructing product-line safety cases from contract-based specifications.

Damir Nesic, Mattias Nyberg, Barbara Gallina

Browse the full SAC paper archive.