Research Funding:
CAREER: Formal Verfication of Aspect-Oriented Software
Support provided by National Science Foundation
Principal Investigator
| Shriram Krishnamurthi |
Projects Supported
Details
| Amount: | $400,000 |
| Dates: | 9/2005 - 8/2010 |
| Status: | Active |
| Page Owner: saas | Last Modified: Thu Jun 15 15:24:08 2006 |