From e70308e0dcf84dbbfd79c55c4f2ecb00528eb9ab Mon Sep 17 00:00:00 2001 From: "Achim D. Brucker" Date: Sat, 19 Dec 2020 19:51:18 +0000 Subject: [PATCH] Improved markdown. --- README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 3501b97..9705bcb 100644 --- a/README.md +++ b/README.md @@ -37,8 +37,8 @@ Assurance & Security Research Team](https://logicalhacking.com) at * Achim D. Brucker and Michael Herzberg. A Formal Semantics of the Core DOM in Isabelle/HOL. In The 2018 Web Conference Companion (WWW). Pages 741-749, ACM Press, 2018. - https://www.brucker.ch/bibliography/abstract/brucker.ea-core-dom-2018 + * Achim D. Brucker and Michael Herzberg. Formalizing (Web) Standards: An Application of Test and Proof. In TAP 2018: Tests And Proofs. Lecture Notes in Computer Science (10889), pages 159-166, Springer-Verlag, 2018. - https://www.brucker.ch/bibliography/abstract/brucker.ea-standard-compliance-testing-2018 +