User : vzaliva

Created: 1435419449
Karma: 1769
Technologist. Researcher in programming languages and formal verification. https://zaliva.org/