Fingerprint
Dive into the research topics of 'Modularity for decidability of deductive verification with applications to distributed systems'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Marcelo Taube, Giuliano Losa, Kenneth L. McMillan, Oded Padon, Mooly Sagiv, Sharon Shoham, James R. Wilcox, Doug Woos
Research output: Contribution to journal › Article › peer-review