![](https://www.pdfsearch.io/img/2cad3901fb92ba45e960348b5e2a450f.jpg) 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, Germany Add to Reading ListSource URL: i12www.iti.kit.eduDownload Document from Source Website File Size: 229,15 KBShare Document on Facebook
|