Explore Books on
correctness

Artificial Unintelligence

By Meredith Broussard

Automated defect prevention

By Dorota Huizinga

Variations on Constants

By Markus Müller-Olm

Oops! the PC problem solver anybody can use

By Michael Miller

Accuracy and reliability in scientific computing

By Bo Einarsson

On reductions and livelocks in asynchronous parallel computation

By Yat-Sang Kwong

Ruggedized minicomputer hardware and software topics, 1981

By United States. National Aeronautics and Space Administration. Scientific and Technical Information Branch

Information systems, correctness and reusability

By IS-CORE Workshop (1994 Amsterdam, Netherlands)

Mathematical theory of program correctness

By J. W. de Bakker

Model-based execution monitoring

By Marcus Bjäreland

Difficulties of novice computer programmers

By Marion Rebecca Simmons,Harvard University. Graduate School of Education

Algebras for some input/output semantics

By Andrzej Tarlecki

Proving termination properties of PROLOG programs

By Marianne Baudinet

Correctness Problem in Computer Science (International lecture series in computer science)

By Robert S. Boyer,J Strother Moore

The automatic generation of syntax directed editors

By Bruce J. MacLennan

Concurrency, Compositionality, and Correctness

By Dennis Dams

Symposium on Logic in Computer Science

By Symposium on Logic in Computer Science (1986 Cambridge, Mass.).

Algebra, combinatorics and logic in computer science

By Colloquim on Algebra, Combinatorics and Logic in Computer Science (1983 Györ, Hungary)

A multiprocessor execution profiler

By Christopher Burdorf

Weak logic theory

By Marit Holden

Software Exorcism: A Handbook for Debugging and Optimizing Legacy Code

By Bill Blunden