CS470/495/395 Project Writeups, Fall 2004

Name
Documents
Yan Liu, CS395File Management System
Sonhui Schweitzer, CS395IBM Internship
Anastasia Mironova, CS495Model Checking for Verification of MPI-Based Software
Matthew Lindberg, CS395SAIC Internship

kenrick@uaa.alaska.edu, 12/10/04