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.
Introduction to Components and Specifications Using RESOLVE
Mathematics throughout the CS Curriculum Support by NSF #