Rainbow Dam - Document - PDFSEARCH.IO - Document Search Engine

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

UPDATE

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