Stephanie Weirich - Related publications

Affiliations: 
Computer and Information Science University of Pennsylvania, Philadelphia, PA, United States 
Area:
Theory: Formal Methods and Logic; Programming Languages and Program Analysis