A Case Study in Using ACL2 for Feature-Oriented Verification Kathi Fisler and Brian Roberts WPI Department of Computer Science November 8, 2004 Abstract

First Page		Document Content
Date: 2005-05-29 14:46:12		A Case Study in Using ACL2 for Feature-Oriented Verification Kathi Fisler and Brian Roberts WPI Department of Computer Science November 8, 2004 Abstract Add to Reading List Source URL: web.cs.wpi.edu Download Document from Source Website File Size: 154,32 KB Share Document on Facebook