Download fomeja JAR file with all dependencies
fomeja from group de.uni_bremen.agra.fomeja (version 1.0.0)
Formal Methods within Java
Artifact fomeja
Group de.uni_bremen.agra.fomeja
Version 1.0.0
Last update 11. April 2016
Organization Groups of Computer Architecture, Computer Engineering/IT-Security and Reliable Embedded Systems - University of Bremen
URL https://github.com/razr69/fomeja
License GNU General Public License, v3
Dependencies amount 4
Dependencies junit, log4j, commons-lang3, z3,
There are maybe transitive dependencies!
Group de.uni_bremen.agra.fomeja
Version 1.0.0
Last update 11. April 2016
Organization Groups of Computer Architecture, Computer Engineering/IT-Security and Reliable Embedded Systems - University of Bremen
URL https://github.com/razr69/fomeja
License GNU General Public License, v3
Dependencies amount 4
Dependencies junit, log4j, commons-lang3, z3,
There are maybe transitive dependencies!
Page 1 from 1 (items total 1)