publication . Other literature type . Article . Conference object . 2018
Modularity for Decidability of Deductive Verification with Applications to Distributed Systems
Mooly Sagiv; Marcelo Taube; Sharon Shoham; James R. Wilcox; Doug Woos; Kenneth L. McMillan; Oded Padon; Giuliano Losa;
Open Access English
- Published: 16 Apr 2018
- Publisher: Zenodo
Download fromView all 8 versions
publication . Other literature type . Article . Conference object . 2018
Modularity for Decidability of Deductive Verification with Applications to Distributed Systems
Mooly Sagiv; Marcelo Taube; Sharon Shoham; James R. Wilcox; Doug Woos; Kenneth L. McMillan; Oded Padon; Giuliano Losa;