vix.ing
·
top
·
new
·
best
·
stats
·
spec
Ferreira, Francisco
Zooid: a DSL for Certified Multiparty Computation
2021/03/18 by
Castro-Perez, David
,
Ferreira, Francisco
,
Gheri, Lorenzo
+1 · 3 citations
#FOS: Computer and information sciences
#Programming Languages (cs.PL)