From: Ralf Jung Date: Tue, 11 Oct 2016 16:46:14 +0000 (+0200) Subject: we dont actually have an appendix for the refinement paper X-Git-Url: https://git.ralfj.de/web.git/commitdiff_plain/2f390db778cc8d05beb9c0562a14962238bb5ba9?ds=sidebyside;hp=1b292c9b8cc968d424cb9b50b1e58510b36975ed we dont actually have an appendix for the refinement paper --- diff --git a/research/publications.html b/research/publications.html index 53de065..6ac54fa 100644 --- a/research/publications.html +++ b/research/publications.html @@ -9,7 +9,7 @@ slug: Publications A Higher-Order Logic for Concurrent Termination-Preserving Refinement
Joseph Tassarotti, Ralf Jung, Robert Harper
Draft under submission
- [paper] [paper website (incl. appendix and Coq formalization)] + [paper] [paper website (incl. Coq formalization)]