First Page | Document Content | |
---|---|---|
Date: 2009-01-05 04:34:04 | Predicate Abstraction in a Program Logic Calculus Benjamin Weiß Institute for Theoretical Computer Science University of Karlsruhe, DKarlsruhe, GermanyAdd to Reading ListSource URL: i12www.iti.kit.eduDownload Document from Source WebsiteFile Size: 229,15 KBShare Document on Facebook |