Pavel Ivanov
- Login: pavel.ivanov
- Email: pavel.ivanov@ispras.ru
- Registered on: 06/11/2020
- Last connection: 10/05/2021
Issues
| open | closed | Total | |
|---|---|---|---|
| Assigned issues | 0 | 0 | 0 |
| Reported issues | 0 | 0 | 0 |
Projects
| Project | Roles | Registered on |
|---|---|---|
| TSMT: Tools for bounded E-Matching | Developer | 06/11/2020 |
Activity
05/20/2021
- 03:26 PM Инструменты дедуктивной верификации моделей политик безопасности Wiki edit: Rodin_core_platform_development (#4)
05/14/2021
- 01:12 PM Инструменты дедуктивной верификации моделей политик безопасности Wiki edit: Инструкция_по_сборке_плагина_SMT-солверов (#3)
- 01:09 PM Инструменты дедуктивной верификации моделей политик безопасности Wiki edit: Инструкция_по_сборке_плагина_SMT-солверов (#2)
- 01:08 PM Инструменты дедуктивной верификации моделей политик безопасности Wiki edit: Инструкция_по_сборке_плагина_SMT-солверов (#1)
- 01:07 PM Инструменты дедуктивной верификации моделей политик безопасности Wiki edit: Wiki (#5)
Also available in: Atom