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


Vol-3229/paper67⫷Vol-3229/paper15⫸Vol-3229/paper59
Rolf SchwitterKevin Purnell

Declarative Smart Contract Testing by Domain Experts