vzaliva
...joined 9 years ago, and has 938 karma
submissions / comments / favourites
Techlogist. Researcher in programming languages and formal verification.
...joined 9 years ago, and has 938 karma
submissions / comments / favourites
Techlogist. Researcher in programming languages and formal verification.