Skip to content

Releases: HaoxianChen/declarative-smart-contracts

ICSE'24

05 Jan 02:18
@HaoxianChen HaoxianChen
v1.0
a86e1f6
Compare
Choose a tag to compare
ICSE'24 Pre-release
Pre-release

Version for ICSE'24 publication "Verifying Declarative Smart Contracts".

Assets 2
Loading