@Article{         Sergey:2018aa,
  Author        = "Sergey, Ilya and Kumar, Amrit and Hobor, Aquinas",
  Abstract      = "This paper outlines key design principles of Scilla---an intermediate-level language for verified smart contracts.",
  date-added    = "2018-04-22 16:07:15 +0000",
  date-modified = "2018-04-22 16:07:15 +0000",
  EPrint        = "1801.00687",
  Month         = "01",
  Title         = "Scilla: a Smart Contract Intermediate-Level LAnguage",
  URL           = "https://arxiv.org/abs/1801.00687",
  Year          = "2018",
  bdsk-url-1    = "https://arxiv.org/abs/1801.00687",
  File          = "1801.00687 (0) - a - a - o.pdf"
}

@Article{ Sergey:2018aa, Author = "Sergey, Ilya and Kumar, Amrit and Hobor, Aquinas", Abstract = "This paper outlines key design principles of Scilla---an intermediate-level language for verified smart contracts.", date-added = "2018-04-22 16:07:15 +0000", date-modified = "2018-04-22 16:07:15 +0000", EPrint = "1801.00687", Month = "01", Title = "Scilla: a Smart Contract Intermediate-Level LAnguage", URL = "https://arxiv.org/abs/1801.00687", Year = "2018", bdsk-url-1 = "https://arxiv.org/abs/1801.00687", File = "1801.00687 (0) - a - a - o.pdf" }