Back to Results
First PageMeta Content
Parallel computing / Computing / Computer engineering / Computer science / Electrical engineering / Electronic engineering / Electromagnetism / Message Passing Interface / Model checking / Computer programming / Computational science / Simulation


The Toolkit for Accurate Scientific Software Stephen F. Siegel, Timothy Zirkel, Yi Wei Verified Software Laboratory Department of Computer and Information Sciences University of Delaware Newark, DE, USA
Add to Reading List

Document Date: 2010-07-21 10:31:15


Open Document

File Size: 998,62 KB

Share Result on Facebook