| user: | vzaliva |
| created: | 27/6/2015 |
| karma: | 1825 |
| about: | Technologist. Researcher in programming languages and formal verification. https://zaliva.org/ |
| user: | vzaliva |
| created: | 27/6/2015 |
| karma: | 1825 |
| about: | Technologist. Researcher in programming languages and formal verification. https://zaliva.org/ |