A Formal Implementation of Value Commitment

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-78739-6_29 ◽

2008 ◽

pp. 383-397 ◽

Author(s):

Cédric Fournet ◽

Nataliya Guts ◽

Francesco Zappa Nardelli

Download Full-text