Username: vzaliva

Karma: 1746

Created: 10 years ago

About:

    
Technologist. Researcher in programming languages and formal verification.