Modular Verification of Feature-Oriented Software Models Kathi Fisler Department of Computer Science Worcester Polytechnic Institute Worcester, MA, 01609 USA - Hardware abstraction - Document - PDFSEARCH.IO

First Page	Meta Content
	Modular Verification of Feature-Oriented Software Models Kathi Fisler Department of Computer Science Worcester Polytechnic Institute Worcester, MA, 01609 USA Add to Reading List Document Date: 2002-11-13 14:10:53 Open Document File Size: 350,71 KB Share Result on Facebook

Modular Verification of Feature-Oriented Software Models Kathi Fisler Department of Computer Science Worcester Polytechnic Institute Worcester, MA, 01609 USAAdd to Reading List