Skip to content

Verifying Declarative Smart Contracts.

Haoxian Chen, Lan Lu, Brendan Massey, Yuepeng Wang, Boon Thau Loo

VenueA*ICSE
Year2024
ProceedingsICSE

Browse the full ICSE paper archive.