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]

Authors

Gary T. Leavens

This author has not been identified. It may be one of the following persons: Look up 'Gary T. Leavens' in Google

Tim Wahls

This author has not been identified. Look up 'Tim Wahls' in Google

Albert L. Baker

This author has not been identified. Look up 'Albert L. Baker' in Google