Formal Semantics for SA Style Data Flow Diagram Specification Languages

Gary T. Leavens, Tim Wahls, Albert L. Baker. Formal Semantics for SA Style Data Flow Diagram Specification Languages. In SAC. pages 526-532, 1999. [doi]

Abstract

Abstract is missing.