A Languge-Based Approach to Smart Contract Engineering

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

Advisor: 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