BLAST-A Model Checker for C Developed by Thomas A. Henzinger (EPFL) Rupak Majumdar (UC Los Angeles) Ranjit Jhala (UC San Diego) Dirk Beyer (Simon Fraser. - ppt download
Howard elizabeth hi-res stock photography and images - Page 17 - Alamy
MTC Law
Anne Fraser – Australian Performing Arts Collection