Vol-3228⫷ Vol-3229 ⫸Vol-3230
urn:nbn:de:0074-3229-0


Vol-3229/paper67⫷Vol-3229/paper15⫸Vol-3229/paper59

Declarative Smart Contract Testing by Domain Experts