☰

Hesam Samimi, Ph.D. - Related publications

Affiliations: 
2013 Computer Science 0201 University of California, Los Angeles, Los Angeles, CA 
Area:
programming language design; static type systems; program analysis; software model checking; formal methods; compilers
Tree Info Publications Similar researchers PubMed Report error