1 paper
Diego Marmsoler, Genc Blakqori
To address the increasing size and complexity of modern software systems, compositional verification separates the verification of single components from the verification of their…