Research Project:
Software Engineering
Project status: Active
Research Areas
People
| Pascal Van Hentenryck |
Publications
Blundell, C., Fisler, K., Krishnamurthi, S., and Van Hentenryck, P. Parameterized Interfaces for Open System Verification of Product Lines. In Proceedings of the IEEE International Symposium on Automated Software Engineering (Sept. 2004), pp. 258-267. [ home | pdf ]
| Page Owner: Webmaster | Last Modified: Mon Oct 23 14:57:09 2006 |