1![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 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](https://www.pdfsearch.io/img/a51fb934c3b7068c31e684b86565298e.jpg) | Add to Reading ListSource URL: www.lix.polytechnique.frLanguage: English - Date: 2010-07-21 10:31:15
|
---|
2![](/pdf-icon.png) | Add to Reading ListSource URL: libraries.delaware.gov- Date: 2017-12-04 11:08:49
|
---|
3![](/pdf-icon.png) | Add to Reading ListSource URL: elections.delaware.gov- Date: 2014-06-30 18:43:28
|
---|
4![](/pdf-icon.png) | Add to Reading ListSource URL: libraries.delaware.gov- Date: 2017-12-04 11:09:11
|
---|
5![](/pdf-icon.png) | Add to Reading ListSource URL: hrm.omb.delaware.gov- Date: 2014-10-09 14:12:09
|
---|
6![](/pdf-icon.png) | Add to Reading ListSource URL: www.dnrec.delaware.gov- Date: 2018-04-25 16:12:12
|
---|
7![](/pdf-icon.png) | Add to Reading ListSource URL: deljis.delaware.gov- Date: 2017-08-10 10:34:59
|
---|
8![](/pdf-icon.png) | Add to Reading ListSource URL: agriculture.delaware.gov- Date: 2018-02-08 13:15:44
|
---|
9![](/pdf-icon.png) | Add to Reading ListSource URL: hrm.omb.delaware.gov- Date: 2016-03-16 10:32:42
|
---|
10![](/pdf-icon.png) | Add to Reading ListSource URL: dhr.delaware.gov- Date: 2018-07-02 16:28:15
|
---|