Software Abstractions

Software Abstractions Logic, Language, and Analysis

Previously published in hardcover: 2012.
Sign up to use