Compositional Verification of Software Product Lines
Support provided by National Science Foundation
Principal Investigator
| Shriram Krishnamurthi |
Projects Supported
Details
| Amount: | $161,649 |
| Dates: | 9/2003 - 8/2005 |
| Status: | Complete |
Research Funding: