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 (Sep 2004), pp. 258-267. [ home | pdf ]
| Page Owner: Webmaster | Last Modified: Mon Oct 23 14:57:09 2006 |