Cover 2

Software Abstractions

Software Abstractions: Logic, Language, And Analysis

2006