"Rigorous Methods for Smart Contracts (Dagstuhl Seminar 21431)."

Nikolaj S. Bjørner et al. (2021)

Details and statistics

DOI: 10.4230/DAGREP.11.9.80

access: open

type: Informal or Other Publication

metadata version: 2022-04-20