• 

  Username:

  Incubos

  Country:

  Russian Federation

  Tags:

  ocaml, formal, method, language, java, model, checking, verification

Networking

• IM Accounts:

  Jabber/XMPP

  incubos@jabber.org

  ICQ

  124501457

  Other websites:

  Homepage, Personal Blog

no project memberships