All People on kenai.com

85528 registered members on kenai.com
showing 1 - 2 of 2
Name Projects Interests
Incubos_small
Incubos
Country: Russian Federation
-- ocaml, formal, method, language, java, model, checking, verification
Vadim
Vadim TSes'ko
(Member Since 2009)
Location: Saint-Petersburg
Country: Russian Federation
-- verification, model-checking, database, python, opensource, archlinux, ocaml