Vol-3790⫷ Vol-3791 ⫸Vol-3792
urn:nbn:de:0074-3791-0


Vol-3791/paper10⫷Vol-3791/paper11⫸Vol-3791/paper12
Adele VeschettiRichard BubelReiner Hähnle

SmartML: Enhancing Security and Reliability in Smart Contract Development