user: vzaliva

1683 karma | created 10 years ago

Technologist. Researcher in programming languages and formal verification.

recent submissions