Advances in Computers - Highly Dependable Software
Describes various approaches towards dependability: software development measurability, transformation oriented programming, Bounded Model Checking, GUI testing, history and lessons from software inspections, impact and problems related to errors in software, and the evolution of the various security policies.
Tales.dk
DKK 1817.95