| user | vzaliva |
| created | Jan 17, 1970 |
| karma | 1770 |
| about | Technologist. Researcher in programming languages and formal verification. https://zaliva.org/ |
| user | vzaliva |
| created | Jan 17, 1970 |
| karma | 1770 |
| about | Technologist. Researcher in programming languages and formal verification. https://zaliva.org/ |