1![Securify: Practical Security Analysis of Smart Contracts Petar Tsankov Andrei Dan Dana Drachsler-Cohen Securify: Practical Security Analysis of Smart Contracts Petar Tsankov Andrei Dan Dana Drachsler-Cohen](https://www.pdfsearch.io/img/c1c14670ef03cdd262f01ea5c477efbd.jpg) | Add to Reading ListSource URL: files.sri.inf.ethz.chLanguage: English - Date: 2018-09-05 10:55:59
|
---|
2![Net2Text: Query-Guided Summarization of Network Forwarding Behaviors Rüdiger Birkner, Dana Drachsler-Cohen, Martin Vechev, Laurent Vanbever net2text.ethz.ch Net2Text: Query-Guided Summarization of Network Forwarding Behaviors Rüdiger Birkner, Dana Drachsler-Cohen, Martin Vechev, Laurent Vanbever net2text.ethz.ch](https://www.pdfsearch.io/img/543de649d92475913b73f6674e641eab.jpg) | Add to Reading ListSource URL: nsg.ee.ethz.chLanguage: English - Date: 2018-04-26 04:27:22
|
---|
3![Net 2 Text Hey network, what are you up to? * Rüdiger Birkner, Dana Drachsler-Cohen, Laurent Vanbever, Martin Vechev Net 2 Text Hey network, what are you up to? * Rüdiger Birkner, Dana Drachsler-Cohen, Laurent Vanbever, Martin Vechev](https://www.pdfsearch.io/img/fa613b6d73c09a87595c5e540c438f28.jpg) | Add to Reading ListSource URL: nsg.ee.ethz.chLanguage: English - Date: 2018-04-18 04:24:08
|
---|
4![Results and Analysis of SyGuS-Comp’15 Rajeev Alur Dana Fisman University of Pennsylvania Results and Analysis of SyGuS-Comp’15 Rajeev Alur Dana Fisman University of Pennsylvania](https://www.pdfsearch.io/img/9fa3292d930759ebf3fee9e088b582de.jpg) | Add to Reading ListSource URL: rishabhmit.bitbucket.ioLanguage: English - Date: 2018-06-25 09:59:57
|
---|
5![Net2Text: Query-Guided Summarization of Network Forwarding Behaviors Rüdiger Birkner, Dana Drachsler-Cohen, Laurent Vanbever, Martin Vechev ETH Zürich net2text.ethz.ch Abstract Net2Text: Query-Guided Summarization of Network Forwarding Behaviors Rüdiger Birkner, Dana Drachsler-Cohen, Laurent Vanbever, Martin Vechev ETH Zürich net2text.ethz.ch Abstract](https://www.pdfsearch.io/img/b1f786d1267df5602a37af330c1a29c6.jpg) | Add to Reading ListSource URL: nsg.ee.ethz.chLanguage: English - Date: 2018-02-25 19:48:09
|
---|
6![The 4th Competition on Syntax-Guided Synthesis Rajeev Alur, Dana Fisman, Rishabh Singh and Armando Solar-Lezama The 4th Competition on Syntax-Guided Synthesis Rajeev Alur, Dana Fisman, Rishabh Singh and Armando Solar-Lezama](https://www.pdfsearch.io/img/71e33426a3518c97cb9b9355292dd212.jpg) | Add to Reading ListSource URL: www.react.uni-saarland.deLanguage: English - Date: 2017-08-02 04:54:12
|
---|
7![](/pdf-icon.png) | Add to Reading ListSource URL: www.dana.org- Date: 2018-05-14 10:26:31
|
---|
8![](/pdf-icon.png) | Add to Reading ListSource URL: www.dana.org- Date: 2016-11-10 12:03:42
|
---|
9![](/pdf-icon.png) | Add to Reading ListSource URL: www.unity-dana.ru- Date: 2018-01-10 03:54:56
|
---|
10![Pracovní podmínky zdravotníků nelékařů ve FN HK prof. MUDr. Roman Prymula, CSc., Ph.D. Mgr. Dana Vaňková Mgr. Hana Drábková Pracovní podmínky zdravotníků nelékařů ve FN HK prof. MUDr. Roman Prymula, CSc., Ph.D. Mgr. Dana Vaňková Mgr. Hana Drábková](https://www.pdfsearch.io/img/5d56b4ffbc5d0514470e208dc4a91cff.jpg) | Add to Reading ListSource URL: www.cnna.czLanguage: Czech - Date: 2013-10-26 07:09:35
|
---|