A poker system build verified with formal methods and tools (BONc, JML ,ESC/JAVA2)
A poker system in order to sharpen my coding skills and quality of code with tools from kindsoftware.com.