User : vzaliva

• Created: 1435419449
• Karma: 1620
• Technologist. Researcher in programming languages and formal verification.

submissions | comments