Back to Results
First PageMeta Content



Predicate Abstraction in a Program Logic Calculus Benjamin Weiß Institute for Theoretical Computer Science University of Karlsruhe, DKarlsruhe, Germany
Add to Reading List

Document Date: 2009-01-05 04:34:04


Open Document

File Size: 229,15 KB

Share Result on Facebook
UPDATE