Searching - TalTech Research Portal

Advances in Computing and Data Sciences : Third International Conference, ICACDS 2019 : Ghaziabad, India, April 12–13, 2019 : revised selected papers, part II (source)

—

—

—

—

Add criteria Advanced search filter

Clear

types of item

book ..

journal article ..

newspaper article ..

book article ..

dissertation ..

Open Access ..

Scientific publications ..

year

year of publication

Loading..

Loading..

TalTech department

Loading..

Loading..

Loading..

name of the person

Loading..

Loading..

Clear

export all inquiry results (1)
Save TXT fail

print
Open for editing with marked entries my bookmarks

display

sort
1

book article EST / book article ENG

Formal-verification of smart-contract languages : a surveyDwivedi, Vimal Kumar; Deval, Vipin; Dixit, Abhishek; Norta, AlexanderAdvances in Computing and Data Sciences : Third International Conference, ICACDS 2019 : Ghaziabad, India, April 12–13, 2019 : revised selected papers, part II2019 / p. 738-747 https://doi.org/10.1007/978-981-13-9942-8_68 Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG
Related publications 1
- A legally relevant socio-technical language development for smart contracts = Arukate lepingute jaoks õiguslikult asjakohane sotsiaal-tehniline keelearendus

Number of records 1, displaying 1 - 1