Who Carries the Burden of Modularity? - Introduction to ISoLA 2020 Track on Modularity and (De-)composition in Verification.

Dilian Gurov, Reiner Hhnle, Eduard Kamburjan

Browse the full ISoLA paper archive.