Parameterized Interfaces for Open System Verification of Product Lines∗ Colin Blundell University of Pennsylvania Kathi Fisler WPI - Formal methods - Document - PDFSEARCH.IO

First Page	Meta Content
	Parameterized Interfaces for Open System Verification of Product Lines∗ Colin Blundell University of Pennsylvania Kathi Fisler WPI Add to Reading List Document Date: 2004-10-28 09:30:27 Open Document File Size: 124,41 KB Share Result on Facebook

Parameterized Interfaces for Open System Verification of Product Lines∗ Colin Blundell University of Pennsylvania Kathi Fisler WPIAdd to Reading List