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 Sun Oct 19 13:47:05 2025 CEST.