HOL-OCL

/

ocl-examples

Archived

This repository has been archived on 2024-04-22. You can view files and clone it, but cannot push or open issues or pull requests.

262 B

Raw Permalink Blame History

Digraph

A simple tree like (recursive) data structure.

Data Sheet

Format: ArgoUML 0.26
Language: UML/OCL

For further information (license, citation, etc.), please look at the README.md of the main directory.