Formal-verification of smart-contract languages : a survey
vastutusandmed
Vimal Dwived, Vipin Deval, Abhishek Dixit, Alex Norta
allikas
Advances in Computing and Data Sciences : Third International Conference, ICACDS 2019 : Ghaziabad, India, April 12–13, 2019 : revised selected papers, part II
ilmumiskoht
Singapore
kirjastus/väljaandja
ilmumisaasta
leheküljed
p. 738-747
seeria-sari
Communications in computer and information science ; 1046
konverentsi nimetus, aeg
Third International Conference, ICACDS 2019, April 12–13, 2019
konverentsi toimumispaik
Ghaziabad, India
ISSN
1865-0929
ISBN
978-981-13-9941-1
märkused
Bibliogr.: 18 ref
teaduspublikatsioon
teaduspublikatsioon
TTÜ struktuuriüksus
keel
inglise
kategooria (üld)
kategooria (alam)
Uurimisrühm
Dwivedi, V., Deval, V., Dixit, A., Norta, A. Formal-verification of smart-contract languages : a survey // Advances in Computing and Data Sciences : Third International Conference, ICACDS 2019 : Ghaziabad, India, April 12–13, 2019 : revised selected papers, part II. Singapore : Springer Nature, 2019. p. 738-747. (Communications in computer and information science ; 1046).