Александр Крюков
- 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 |