From post

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.

 

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

Executable contracts for Elixir., , , , , , и . Erlang Workshop, стр. 40-46. ACM, (2022)Automatic Generation of Attacker Contracts in Solidity., , , , , и . FMBC@CAV, том 105 из OASIcs, стр. 3:1-3:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Techniques for Usability Risk Assessment during Medical Device Design., , , , и . BIODEVICES, стр. 207-214. SciTePress, (2019)