Number of items: 1.
Conference or Workshop Item (A Paper)
Hoenicke, Jochen and Majumdar, Rupak and Podelski, Andreas
(2017)
Thread modularity at many levels: a pearl in compositional verification.
This list was generated on Thu Jul 31 00:54:12 2025 CEST.