An Architecture for Customizable Interactive Texts
ARPA Contract No. N66001-95-C-8613
10/01/95 through 09/31/97
Architecture for Component-Based Security Engineering
pending ARPA contract
Automated Reasoning in Software Engineering
NSF Grant No. CCR-9504248
08/01/95 through 07/31/98
Equipment Grant: Intel Foundation
Equipment Grant: DEC External Research Program
Software Grant: Microsoft