de.hhu.stups:value-translator (maven): Library to translate Classical B values into Java objects.
Keywords: java|prob