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

Published in ISoLA, 2020

Recommended citation: Reiner Hähnle, Eduard Kamburjan, Dilian Gurov. (2020). ISoLA. LNCS 12476