Home » user account

palexand

Personal information


United States

male

Systems level design, specification languages, formal methods, functional programming

History


20 years 34 weeks