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

Published in: ISoLA (1) (2020)

Keyphrases