Specification and Verification in Communications Standards

David Freestone. Specification and Verification in Communications Standards. In Charles Rattray, editor, Specification and Verification of Concurrent Systems [BCS-FACS Workshop, 6-8 July 1988, University of Stirling, Scotland, UK]. Workshops in Computing, pages 474-485, Springer, 1988.

Authors

David Freestone

This author has not been identified. Look up 'David Freestone' in Google