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 |
Research Funding: