机构作者
Bellomy, Bryn
文献数量：1
Cassez, Franck
文献数量：1
Fuller, Joanne
文献数量：1
Ghale, Milad K.
文献数量：1
Pearce, David J.
文献数量：1
Quiles, Horacio M. A.
文献数量：1
Saltini, Roberto
文献数量：1
Tran, Thanh-hai
文献数量：1
机构文献
A Journey into Bitcoin Metadata[J]
JOURNAL OF GRID COMPUTING
A CASE STUDY ON PARAMETRIC VERIFICATION OF FAILURE DETECTORS[J]
LOGICAL METHODS IN COMPUTER SCIENCE
Formal and Executable Semantics of the Ethereum Virtual Machine in Dafny[C]
FORMAL METHODS, FM 2023