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 Fri Apr 26 01:17:43 2024 CEST.