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

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, Germany Add to Reading List Source URL: i12www.iti.kit.edu Download Document from Source Website File Size: 229,15 KB Share Document on Facebook