| user: | vzaliva |
| created: | 11 years ago |
| karma: | 1746 |
| about: | Technologist. Researcher in programming languages and formal verification. |
| user: | vzaliva |
| created: | 11 years ago |
| karma: | 1746 |
| about: | Technologist. Researcher in programming languages and formal verification. |