@inproceedings{10.1007/978-3-030-03427-6_27,
    Abstract = {Blockchains allow the specification of contracts in the form of programs that guarantee their fulfilment. Nevertheless, errors in those programs can cause important, and often irretrievable, monetary loss. General-purpose languages provide a platform on which contracts can be built, but by their very generality they have the potential to exhibit behaviours of an unpredictable kind, and are also not easy to read or comprehend for general users.},
    Address = {Cham},
    Author = {Lamela Seijas, Pablo and Thompson, Simon},
    BookTitle = {Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice},
    Editor = {Margaria, Tiziana and Steffen, Bernhard},
    ISBN = {978-3-030-03427-6},
    Pages = {356--375},
    Publisher = {Springer International Publishing},
    Title = {Marlowe: Financial Contracts on Blockchain},
    Year = {2018},
    date-added = {2019-07-26 09:16:31 +0200},
    date-modified = {2019-07-26 09:16:31 +0200},
    doi = {10.1007/978-3-030-03427-6_27}
}

@inproceedings{10.1007/978-3-030-03427-6_27, Abstract = {Blockchains allow the specification of contracts in the form of programs that guarantee their fulfilment. Nevertheless, errors in those programs can cause important, and often irretrievable, monetary loss. General-purpose languages provide a platform on which contracts can be built, but by their very generality they have the potential to exhibit behaviours of an unpredictable kind, and are also not easy to read or comprehend for general users.}, Address = {Cham}, Author = {Lamela Seijas, Pablo and Thompson, Simon}, BookTitle = {Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice}, Editor = {Margaria, Tiziana and Steffen, Bernhard}, ISBN = {978-3-030-03427-6}, Pages = {356--375}, Publisher = {Springer International Publishing}, Title = {Marlowe: Financial Contracts on Blockchain}, Year = {2018}, date-added = {2019-07-26 09:16:31 +0200}, date-modified = {2019-07-26 09:16:31 +0200}, doi = {10.1007/978-3-030-03427-6_27} }