vzaliva

Created:9 years agoKarma: 1322

submissions / comments / favorites

Technologist. Researcher in programming languages and formal verification.