Published February 28, 2020
| Version 1.0
Software
Open
imdea-software/hlola: Referrable tag
Description
A Runtime Verification Engine
Files
imdea-software/hlola-1.0.zip
Files
(25.7 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:539d19153c45e7c25870c2a6b798d48d
|
25.7 kB | Preview Download |
Additional details
Related works
- Is supplement to
- https://github.com/imdea-software/hlola/tree/1.0 (URL)