HOL-OCL
/
su4sml
1
0
Fork 0
Code Issues Pull Requests Releases Activity

Compare commits

base: HOL-OCL:62d166ccd118bfd3d18f6f503ba26b8e64ecf310
Branches Tags
HOL-OCL:master
...
compare: HOL-OCL:636607710e31470c7532ead4787596d84bc570a5
Branches Tags
HOL-OCL:master

2 Commits
62d166ccd1 ... 636607710e

Author SHA1 Message Date
Achim D. Brucker 636607710e Added master repository URL. 2017-12-09 00:12:52 +00:00
Achim D. Brucker 1922de561d Clarified SPDIX identifier. 2017-12-08 22:26:35 +00:00
1 changed files with 9 additions and 1 deletions
Show Stats Expand all files Collapse all files

10
README.md
View File

@ -28,7 +28,15 @@ participating classifiers
* Manfred Stock
## License
This project is licensed under a 3-clause BSD (SPDIX: BSD-3-Clause) license.
This project is licensed under a 3-clause BSD license.
SPDX-License-Identifier: BSD-3-Clause
## Master Repository
The master git repository for this project is hosted by the [Software
Assurance & Security Research Team](https://logicalhacking.com) at
<https://git.logicalhacking.com/HOL-OCL/su4sml>.
## Publications
* Achim D. Brucker, Jürgen Doser, and Burkhart Wolff. An MDA Framework Supporting