Development of Communication Software by Stepwise Refinement

Johannes Freudenmann. Development of Communication Software by Stepwise Refinement. In Harry Rudin, Colin H. West, editors, Protocol Specification, Testing and Verification VII, Proceedings of the IFIP WG6.1 Seventh International Conference on Protocol Specification, Testing and Verification, Zurich, Switzerland, 5-8 May, 1987. pages 391-404, North-Holland, 1987.

Authors

Johannes Freudenmann

This author has not been identified. Look up 'Johannes Freudenmann' in Google