All People on kenai.com

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