( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Slither: a static analysis framework for smart contracts.

, , и . WETSEB@ICSE, стр. 8-15. IEEE / ACM, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Maria Alexopoulou

Ethnic Foreign Policy und Identitätsbildung: die Griechisch-Amerikaner (1964 - 1978). FU Berlin, (2007)

Alex Brakhage

Michael Alex

Alex Mueller

Alex Niemoeller

 

Другие публикации лиц с тем же именем

One test to rule them all., , и . ISSTA, стр. 1-11. ACM, (2017)Heuristics for model checking Java programs., и . STTT, 6 (4): 260-276 (2004)JPF.What are the Actual Flaws in Important Smart Contracts (And How Can We Find Them)?, , , и . Financial Cryptography, том 12059 из Lecture Notes in Computer Science, стр. 634-653. Springer, (2020)Echidna: effective, usable, and fast fuzzing for smart contracts., , , , и . ISSTA, стр. 557-560. ACM, (2020)Rule Systems for Runtime Verification: A Short Tutorial., , , и . RV, том 5779 из Lecture Notes in Computer Science, стр. 1-24. Springer, (2009)Slither: a static analysis framework for smart contracts., , и . WETSEB@ICSE, стр. 8-15. IEEE / ACM, (2019)Mini-crowdsourcing end-user assessment of intelligent assistants: A cost-benefit study., , , , , , и . VL/HCC, стр. 47-54. IEEE, (2011)Swarm Verification., , и . ASE, стр. 1-6. IEEE Computer Society, (2008)How Verified is My Code? Falsification-Driven Verification (T)., , , и . ASE, стр. 737-748. IEEE Computer Society, (2015)How hard does mutation analysis have to be, anyway?, , , , и . ISSRE, стр. 216-227. IEEE Computer Society, (2015)