HOL-OCL
/
ocl-examples
Archived
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Link to example.

This commit is contained in:
Achim D. Brucker 2016-10-02 14:23:42 +01:00
parent 98ec7ee186
commit fb0e696818
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
README.md
View File

@ -6,7 +6,7 @@ models were developed in the context of the original HOL-OCL and
SecureUML.
## Models
* **Royals and Loyals:** The famous royals-and-loyals example.
* **[Royals and Loyals:](./royals_and_loyals)** The famous royals-and-loyals example.
## Team
* [Achim D. Brucker](http://www.brucker.ch/)