Browse By Author Name - Summers, Alexander J - ETH E-Collection http://e-collection.library.ethz.ch/ ETH-Bibliothek en Fez http://blogs.law.harvard.edu/tech/rss A formal semantics for isorecursive and equirecursive state abstractions http://e-collection.library.ethz.ch/view/eth:6177 2012-11-15T00:00:00Z Summers, Alexander J. og Drossopoulou, Sophia Freedom before commitment http://e-collection.library.ethz.ch/view/eth:5147 2012-02-02T00:00:00Z Summers, Alexander J. og Müller, Peter Verification Condition Generation for Permission Logics with Abstraction Functions http://e-collection.library.ethz.ch/view/eth:5673 2012-06-23T00:00:00Z Heule, Stefan og Kassios, Ioannis T. og Müller, Peter og Summers, Alexander J. Verification condition generation for permission logics with abstract predicates and abstraction functions http://e-collection.library.ethz.ch/view/eth:6221 2012-11-28T00:00:00Z Heule, Stefan og Kassios, Ioannis T. og Müller, Peter og Summers, Alexander J.