Seven Myths of Formal Methods

Anthony Hall. Seven Myths of Formal Methods. IEEE Software, 7(5):11-19, 1990.

Abstract

Abstract is missing.