From bf7e22a93030534561c1c6ef227a1c2365aee5b9 Mon Sep 17 00:00:00 2001 From: "Achim D. Brucker" Date: Thu, 7 Dec 2017 21:53:00 +0000 Subject: [PATCH] Added master repository URL. --- README.md | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/README.md b/README.md index f98ec60..942e3a5 100644 --- a/README.md +++ b/README.md @@ -30,6 +30,12 @@ This project is licensed under a 2-clause BSD license. SPDX-License-Identifier: BSD-2-Clause +## Master Repository + +The master git repository for this project is hosted by the [Software +Assurance & Security Research Team](https://logicalhacking.com): +. + ## Publications * Achim D. Brucker and Burkhart Wolff. [Semantics, Calculi, and Analysis for Object-oriented Specifications.](https://www.brucker.ch/bibliography/download/2009/brucker.ea-semantics-2009.pdf)