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
Modularity for decidability of deductive verification with applications to distributed systems
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