Generality in design and compositional verification usingTav Anders BørjessonKim G. LarsenArne Skou OriginalPaper Pages: 239 - 258
Localized verification of modular designs Jørgen StaunstrupNiels Mellergaard OriginalPaper Pages: 295 - 320