A Aralex Aachen research explorer

June 14, 2023 conference-paper

AutoMTLSpec: Learning to Generate MTL Specifications from Natural Language Contracts

International Conference on Engineering of Complex Computer Systems

DOI: 10.1109/iceccs59891.2023.00018 OpenAlex

Authors 0

Author list not loaded yet.

Cited by 0 stored of 5

References 1

Model checking smart contracts for Ethereum
2020 Pervasive and Mobile Computing article Computer Science Blockchain Technology Applications and Security

47

citations

1 result