John GrindelandPhone: Completed Projects TitleYearReport #ResearcherA Property-Based Specification for Coarse Aggregate in Pavement Applications20102010-35 Abdelrahman