vzaliva

Created:9 years agoKarma: 1324

submissions / comments / favorites

Technologist. Researcher in programming languages and formal verification.