Predicate Abstraction in a Program Logic Calculus Benjamin Weiß Institute for Theoretical Computer Science University of Karlsruhe, DKarlsruhe, Germany - Logic in computer science - Document - PDFSEARCH.IO

First Page	Meta 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

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