iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.dagstuhl.de/rec/journals/corr/abs-1904-07463.nt
. . . "ThanhVu Nguyen et al.: Using Dynamic Analysis to Generate Disjunctive Invariants. (2019)" . _:ID_89ce2ae03cd31955ec52233a819eb256 . _:ID_89ce2ae03cd31955ec52233a819eb256 . _:ID_89ce2ae03cd31955ec52233a819eb256 . _:ID_89ce2ae03cd31955ec52233a819eb256 . _:ID_89ce2ae03cd31955ec52233a819eb256 "journals/corr/abs-1904-07463" . _:ID_99001a3187482be8ff23e8a5ebada53c . _:ID_99001a3187482be8ff23e8a5ebada53c . _:ID_99001a3187482be8ff23e8a5ebada53c . _:ID_99001a3187482be8ff23e8a5ebada53c . _:ID_99001a3187482be8ff23e8a5ebada53c "1904.07463" . "Using Dynamic Analysis to Generate Disjunctive Invariants." . . . . . . . . . . "4"^^ . _:Sig_76b049bd3166b499d934421776324d9a_1 . _:Sig_76b049bd3166b499d934421776324d9a_1 . _:Sig_76b049bd3166b499d934421776324d9a_1 . _:Sig_76b049bd3166b499d934421776324d9a_1 "ThanhVu Nguyen" . _:Sig_76b049bd3166b499d934421776324d9a_1 . _:Sig_76b049bd3166b499d934421776324d9a_1 "1"^^ . _:Sig_76b049bd3166b499d934421776324d9a_1 . _:Sig_76b049bd3166b499d934421776324d9a_2 . _:Sig_76b049bd3166b499d934421776324d9a_2 . _:Sig_76b049bd3166b499d934421776324d9a_2 . _:Sig_76b049bd3166b499d934421776324d9a_2 "Deepak Kapur" . _:Sig_76b049bd3166b499d934421776324d9a_2 . _:Sig_76b049bd3166b499d934421776324d9a_2 "2"^^ . _:Sig_76b049bd3166b499d934421776324d9a_2 . _:Sig_76b049bd3166b499d934421776324d9a_3 . _:Sig_76b049bd3166b499d934421776324d9a_3 . _:Sig_76b049bd3166b499d934421776324d9a_3 . _:Sig_76b049bd3166b499d934421776324d9a_3 "Westley Weimer" . _:Sig_76b049bd3166b499d934421776324d9a_3 . _:Sig_76b049bd3166b499d934421776324d9a_3 "3"^^ . _:Sig_76b049bd3166b499d934421776324d9a_3 . _:Sig_76b049bd3166b499d934421776324d9a_4 . _:Sig_76b049bd3166b499d934421776324d9a_4 . _:Sig_76b049bd3166b499d934421776324d9a_4 . _:Sig_76b049bd3166b499d934421776324d9a_4 "Stephanie Forrest" . _:Sig_76b049bd3166b499d934421776324d9a_4 . _:Sig_76b049bd3166b499d934421776324d9a_4 "4"^^ . _:Sig_76b049bd3166b499d934421776324d9a_4 . . . . . "CoRR" . "CoRR" . "abs/1904.07463" . "2019"^^ . "provenance information for RDF data of dblp record 'journals/corr/abs-1904-07463'" . . . . "2019-04-25T13:55:01+0200" .