Formal Methods and Dependability

Cliff B. Jones. Formal Methods and Dependability. In Roland Carl Backhouse, José Nuno Oliveira, editors, Mathematics of Program Construction, 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000, Proceedings. Volume 1837 of Lecture Notes in Computer Science, pages 140-143, Springer, 2000.

Abstract

Abstract is missing.