User: vzaliva

Created: 6/27/2015, 3:37:29 PM

Karma: 1530

Technologist. Researcher in programming languages and formal verification.