vzaliva

...joined 9 years ago, and has 938 karma

submissions / comments / favourites

Techlogist. Researcher in programming languages and formal verification.