General

Profile

Александр Крюков

  • Login: aakryukov
  • Registered on: 10/25/2019
  • Last connection: 08/29/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/25/2019
TSMT: Tools for bounded E-Matching Developer 02/07/2020