'org.sireum:logika-runtime_2.11:3.0.0'
<dependency>
<groupId>org.sireum</groupId>
<artifactId>logika-runtime_2.11</artifactId>
<version>3.0.0</version>
</dependency>
<dependency org="org.sireum" name="logika-runtime_2.11" rev="3.0.0"/>
"org.sireum", "logika-runtime_2.11", "3.0.0"