Merge branch 'cpp2018' of github.com:certichain/toychain into cpp2018

verse-lab · Nov 15, 2017 · 633a950 · 633a950
2 parents 8f4bad1 + 570f2eb
commit 633a950
Showing 1 changed file with 4 additions and 3 deletions.
diff --git a/README.md b/README.md
@@ -3,9 +3,10 @@
 A Coq implementation of a minimalistic blockchain-based consensus
 protocol.
 
-These source files are for the manuscript "Mechanising Blockchain
-Consensus" by G. Pirlea and I. Sergey, submitted for publication at
-CPP 2018.
+These source files are for the paper "Mechanising Blockchain
+Consensus" by George Pirlea and Ilya Sergey, accepted for publication
+at the 7th ACM SIGPLAN International Conference on Certified Programs
+and Proofs (CPP 2018).
 
 ## Building the Project