parent com.runtimeverification.k 1.0-SNAPSHOT ../pom.xml 4.0.0 api K Framework API com.runtimeverification.k kore ${project.version} com.runtimeverification.k kernel ${project.version}