Mathematical Description and Specification of Software

David Lorge Parnas. Mathematical Description and Specification of Software. In IFIP Congress (1). pages 354-359, 1994.

Abstract

Abstract is missing.