Central Library Search for 'au:"Blazy, Sandrine."'

Static Analysis

. XVI, 333 p. 90 illus. 9783662482889

Place Hold on Static Analysis

Interactive Theorem Proving

. XII, 498 p. 73 illus. 9783642396342

Place Hold on Interactive Theorem Proving

Verified Software. Theories, Tools, and Experiments

. XIV, 199 p. 36 illus. 9783319488691

Place Hold on Verified Software. Theories, Tools, and Experiments

Verified Software. Theories, Tools, and Experiments

. XIV, 199 p. 36 illus. 9783319488691

Place Hold on Verified Software. Theories, Tools, and Experiments

Static Analysis

. XVI, 333 p. 90 illus. 9783662482889

Place Hold on Static Analysis

Interactive Theorem Proving

. XII, 498 p. 73 illus. 9783642396342

Place Hold on Interactive Theorem Proving