Computer Science and Engineering, July 21, 2004 CSE CHAMPS Initiative Constructing High-Assurance Mobile and Pervasive Systems Department of Computer Science.
CSE CHAMPS Initiative C onstructing H igh- A ssurance M obile and P ervasive S ystems