John Kolb

EECS Department, University of California, Berkeley

Technical Report No. UCB/EECS-2020-220

December 18, 2020

http://www2.eecs.berkeley.edu/Pubs/TechRpts/2020/EECS-2020-220.pdf

Advisors: Randy H. Katz and David Culler

---

BibTeX citation:

@phdthesis{Kolb:EECS-2020-220,
    Author= {Kolb, John},
    Title= {A Languge-Based Approach to Smart Contract Engineering},
    School= {EECS Department, University of California, Berkeley},
    Year= {2020},
    Month= {Dec},
    Url= {http://www2.eecs.berkeley.edu/Pubs/TechRpts/2020/EECS-2020-220.html},
    Number= {UCB/EECS-2020-220},
}

EndNote citation:

%0 Thesis
%A Kolb, John 
%T A Languge-Based Approach to Smart Contract Engineering
%I EECS Department, University of California, Berkeley
%D 2020
%8 December 18
%@ UCB/EECS-2020-220
%U http://www2.eecs.berkeley.edu/Pubs/TechRpts/2020/EECS-2020-220.html
%F Kolb:EECS-2020-220