Central Library Search for 'au:"Seshia, Sanjit A."'

Verified Software: Theories, Tools, and Experiments

. IX, 223 p. 41 illus. in color. 9783319296135

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

Computer Aided Verification

. XVI, 789 p. 192 illus. 9783642314247

Place Hold on Computer Aided Verification

Verified Software: Theories, Tools, and Experiments

. IX, 223 p. 41 illus. in color. 9783319296135

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