Search papers, labs, and topics across Lattice.
Universit脿 di Camerino and Gran Sasso Science Institute
1
0
2
Automating smart contract creation from high-level coordination models slashes development time and boosts reliability.