General

Profile

Igor Tarakanov

  • Login: tarakanov
  • Registered on: 10/16/2019
  • Last connection: 03/20/2020

Issues

open closed Total
Assigned issues 0 0 0
Reported issues 0 0 0

Projects

Project Roles Registered on
Imperative HOL examples Manager, Developer, Reporter, Customer, Technical Writer 10/17/2019