Formal-verification of smart-contract languages : a survey
author
Dwivedi, Vimal Kumar
Deval, Vipin
Dixit, Abhishek
Norta, Alexander
statement of authorship
Vimal Dwived, Vipin Deval, Abhishek Dixit, Alex Norta
source
Advances in Computing and Data Sciences : Third International Conference, ICACDS 2019 : Ghaziabad, India, April 12–13, 2019 : revised selected papers, part II
location of publication
Singapore
publisher
Springer Nature Singapore Pte Ltd
year of publication
2019
pages
p. 738-747
series
Communications in computer and information science ; 1046
conference name, date
Third International Conference, ICACDS 2019, April 12–13, 2019
conference location
Ghaziabad, India
url
https://doi.org/10.1007/978-981-13-9942-8_68
subject term
ontoloogiad (informaatika)
plokiahela-tehnoloogia
lepingud
tehingutöötlus (informaatika)
Scopus
Conference proceedings at Scopus
Article at Scopus
kvartiil
Q3
category (general)
Mathematics
en
Matemaatika
et
Computer science
en
Arvutiteadus
et
category (sub)
Mathematics. General mathematics
en
Matemaatika. Üldmatemaatika
et
Computer science. General computer science
en
Arvutiteadus. Üldine arvutiteadus
et
keyword
ontological completeness
eSML
socio-technical
legal relevance
ANTLR
block-chain
smart contracts
ISSN
1865-0929
ISBN
978-981-13-9941-1
notes
Bibliogr.: 18 ref
scientific publication
teaduspublikatsioon
classifier
3.1
TTÜ department
tarkvarateaduse instituut
language
inglise
Uurimisrühm
Next gen digital state research group