APA (7th ed.) Citation

Broy, M. (1986). Predicative specifications of robust correctness for functional programs describing communicating networks.

Chicago Style (17th ed.) Citation

Broy, Manfred. Predicative Specifications of Robust Correctness for Functional Programs Describing Communicating Networks. Passau, 1986.

MLA (9th ed.) Citation

Broy, Manfred. Predicative Specifications of Robust Correctness for Functional Programs Describing Communicating Networks. 1986.

Warning: These citations may not always be 100% accurate.