Title: Quality of Numerical Software: Assessment and enhancement, Author: Ronald F. Boisvert
Title: Memory Dump Analysis Anthology Collector's Revised Edition, Volume 1, Author: Dmitry Vostokov
Title: Data Flow Analysis: Theory and Practice, Author: Uday Khedker
Title: Data Refinement: Model-Oriented Proof Methods and their Comparison, Author: Willem-Paul de Roever

Pagination Links