Introduction to functional programming
This research is funded in part the U. S. National Science Foundation grant CCR-0113181. DEET for Component-Based Software Murali Sitaraman, Durga P. Gandi.
Ref Man For Vva Fall 07 D Gmeeting
1 The Role of Logic and Proof in Teaching Discrete Mathematics Summer Workshop on Discrete Mathematics Messiah College June 2006 Susanna S. Epp.
E6998: Formal Methods on Android Instructor: Professor Aho Student: Suzanna Schmeelk October 2014
The Role of Logic and Proof in Teaching Discrete Mathematics
Software Model Checking Survey
Suzanna Schmeelk October 27, 2014 Bertrand Meyers C. A. R. Hoare Android 4.4 KitKat.