Usuário: vzaliva

• Created: 3939 days ago
• Karma: 1750
• Technologist. Researcher in programming languages and formal verification.

submissions | comments