Relational program logics in decomposed style Lennart Beringer ∗ Department of Computer Science, Princeton University, 35 Olden Street, Princeton NJ 08540 - Mathematical logic - Document - PDFSEARCH.IO

First Page	Meta Content
	Relational program logics in decomposed style Lennart Beringer ∗ Department of Computer Science, Princeton University, 35 Olden Street, Princeton NJ 08540 Add to Reading List Document Date: 2010-08-09 16:46:30 Open Document File Size: 315,93 KB Share Result on Facebook

Relational program logics in decomposed style Lennart Beringer ∗ Department of Computer Science, Princeton University, 35 Olden Street, Princeton NJ 08540 Add to Reading List