From e20e73be90064c3eddd26bc653837045c3f96c7c Mon Sep 17 00:00:00 2001 From: "Achim D. Brucker" Date: Mon, 22 Mar 2021 00:12:00 +0000 Subject: [PATCH] Added ERT 2018 publication and added note about required version of tcolorbox.sty. --- README.md | 10 +++++++--- 1 file changed, 7 insertions(+), 3 deletions(-) diff --git a/README.md b/README.md index b9d1792..814f958 100755 --- a/README.md +++ b/README.md @@ -23,9 +23,9 @@ Isabelle/DOF has two major pre-requisites: * **Isabelle:** Isabelle/DOF requires [Isabelle 2021](http://isabelle.in.tum.de/website-Isabelle2021/). Please download the Isabelle 2021 distribution for your operating system from the [Isabelle website](http://isabelle.in.tum.de/website-Isabelle2021/). -* **LaTeX:** Isabelle/DOF requires a modern TeX-engine supporting the \expanded{}-primitive. This - is, for example, included in the [TeX Live 2020](https://www.tug.org/texlive/) (or later) - distribution. +* **LaTeX:** Isabelle/DOF requires a modern LaTeX installation, i.e., at least + [TeX Live 2020](https://www.tug.org/texlive/) with all available updates applied (in particular + ``tcolorbox.sty`` 4.42 or later is required). ## Installation @@ -190,6 +190,10 @@ SPDX-License-Identifier: BSD-2-Clause Integrated Formal Methods (IFM). Lecture Notes in Computer Science (11918). Springer-Verlag 2019. [doi:10.1007/978-3-030-34968-4_4](http://dx.doi.org/10.1007/978-3-030-34968-4_4) +* Sergio Bezzecchi, Paolo Crisafulli, Charlotte Pichot, and Burkhart Wolff. Making Agile Development + Processes fit for V-style Certification Procedures. In ERTS 2018. + + ## Master Repository The master git repository for this project is hosted