Bruce Adcock

Working Towards the Verified Software Process

Bruce M. Adcock, Bruce Adcock, 2010 .

On Soundness of Verification for Software with Functional Semantics and Abstract Data Types

Bruce W. Weide, Jason Kirschenbaum, Derek Bronish, 2008 .

Force transmission via axial tendons in undulating fish: a dynamic analysis.

Bruce M. Adcock, John H Long, Bruce Adcock, 2002, Comparative biochemistry and physiology. Part A, Molecular & integrative physiology.