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 AbstractAdd to Reading ListSource URL: web.cs.wpi.eduDownload Document from Source WebsiteFile Size: 154,32 KBShare Document on Facebook |