License |
License |
---|---|
GroupId | GroupIdmt.edu.um.cs.rv.valour |
ArtifactId | ArtifactIdvalour.target |
Last Version | Last Version1.0.2 |
Release Date | Release Date |
Type | Typeeclipse-target-definition |
Description |
DescriptionValour: A Runtime Verification Language
|
Filename | Size |
---|---|
valour.target-1.0.2.pom | |
valour.target-1.0.2.target | 1 KB |
Browse |
Group / Artifact | Type | Version |
---|---|---|
org.eclipse.xtend : org.eclipse.xtend.lib | jar | 2.9.2 |
mt.edu.um.cs.rv : monitors | jar | 1.0.2 |