is not current version

Last Version 2.12.0 →

de.hhu.stups:theorymapping 2.9.24

Part of the ProB Parser library

GroupId	GroupId de.hhu.stups
ArtifactId	ArtifactId theorymapping
Version	Version 2.9.24
Type	Type pom.sha512

Download theorymapping 2.9.24

Filename	Size
theorymapping-2.9.24.pom
theorymapping-2.9.24-sources.jar	26 KB
theorymapping-2.9.24-javadoc.jar	134 KB
Browse