User: vzaliva

• Created: 9 年前
• Karma: 1307
• Technologist. Researcher in programming languages and formal verification.

submissions | comments