Search Results ((keywords_en:HOARE LOGIC)) - ETH E-Collection

Skip to main content
Skip to navigation
Skip to toolbar

1 Results for (keywords_en:HOARE LOGIC)

Subscribe to RSS feed for this result set

Sort results by

Results per page

1. A formal semantics for isorecursive and equirecursive state abstractions

Summers, Alexander J. and Drossopoulou, Sophia (2012)

Reports Reports