Search Results - Computer software Verification :: Descubridor Academia

Tools and Algorithms for the Construction and Analysis of Systems by Arie Gurfinkel, Marijn Heule

Published 2025

View this record in EBSCOhost

Book

Standalone Record
Computer Aided Verification by Hana Chockler, Georg Weissenbacher

Published 2018

View this record in EBSCOhost

Book

Standalone Record
Certified Software. by ZHONG SHAO

Published in Communications of the ACM (Dec2010)

View this record in EBSCOhost

Article

Standalone Record
The third culture. by Stewart, Ian

Published in New Statesman (4/12/3013)

View this record in EBSCOhost

Article

Standalone Record
Assessing the impact of mobile technology on order verification during pharmacist participation in patient rounds. by Ray, Shaunta' M., Clark, Shirmil, Jeter, Julie W., Treadway, Sarah A.

Published in American Journal of Health-System Pharmacy (4/1/2013)

View this record in EBSCOhost

research tables/charts Journal Article

Standalone Record
Guiding principles for the interaction between academic programs in audiology and industry. by Windmill IM, Freeman BA, Jerger J, Scott JM

Published in Audiology Today (Mar/Apr2010)

View this record in EBSCOhost

practice guidelines Journal Article

Standalone Record
Buyers guide of correctional products & services.

Published in Corrections Today (July 1995)

View this record in EBSCOhost

Article

Standalone Record
Blood Transfusion Errors Within a Health System: A Review of Root Cause Analyses. by Lancaster, Elizabeth A., Rhodus, Elizabeth K., Duke, Mary B., Harris, Andrew M.

Published in Patient Safety (2689-0143) (Jun2021)

View this record in EBSCOhost

algorithm pictorial review tables/charts Journal Article

Standalone Record
Q&A: The Upper Limit. by Hoffmann, Leah

Published in Communications of the ACM (Jan2009)

View this record in EBSCOhost

Interview

Standalone Record
(2019) by Robert Ulewicz

Published 2019

View this record in EBSCOhost

Book

Standalone Record