Cieslak, Darek
cieslakd.webpark.plC.V., diploma - static formal verification . Python section. Freeware and open source programs (Java, Python, C++). Articles about Extreme Programming. Some content in polish.
C.V., diploma - static formal verification . Python section. Freeware and open source programs (Java, Python, C++). Articles about Extreme Programming. Some content in polish.