| Categories | CategoriesKeY Data Data Formats Formal Verification | 
|---|---|
| GroupId | GroupIdcom.thoughtworks.dsl | 
| ArtifactId | ArtifactIdkeywords-fence_3 | 
| Version | Version2.0.0-M2+310-1c1c0642 | 
| Type | Typejar | 
<!-- https://jarcasting.com/artifacts/com.thoughtworks.dsl/keywords-fence_3/ -->
<dependency>
    <groupId>com.thoughtworks.dsl</groupId>
    <artifactId>keywords-fence_3</artifactId>
    <version>2.0.0-M2+310-1c1c0642</version>
</dependency>// https://jarcasting.com/artifacts/com.thoughtworks.dsl/keywords-fence_3/
implementation 'com.thoughtworks.dsl:keywords-fence_3:2.0.0-M2+310-1c1c0642'// https://jarcasting.com/artifacts/com.thoughtworks.dsl/keywords-fence_3/
implementation ("com.thoughtworks.dsl:keywords-fence_3:2.0.0-M2+310-1c1c0642")'com.thoughtworks.dsl:keywords-fence_3:jar:2.0.0-M2+310-1c1c0642'<dependency org="com.thoughtworks.dsl" name="keywords-fence_3" rev="2.0.0-M2+310-1c1c0642">
  <artifact name="keywords-fence_3" type="jar" />
</dependency>@Grapes(
@Grab(group='com.thoughtworks.dsl', module='keywords-fence_3', version='2.0.0-M2+310-1c1c0642')
)libraryDependencies += "com.thoughtworks.dsl" % "keywords-fence_3" % "2.0.0-M2+310-1c1c0642"[com.thoughtworks.dsl/keywords-fence_3 "2.0.0-M2+310-1c1c0642"]