User: vzaliva

  • Created: 3923 days ago
  • Karma: 1746
  • Technologist. Researcher in programming languages and formal verification.