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: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
38
Scopus
citations