User: vzaliva

• Created: 9 years ago
• Karma: 1307
• Technologist. Researcher in programming languages and formal verification.

submissions | comments