Programming Languages for Reliable Computing Systems

James J. Horning. Programming Languages for Reliable Computing Systems. In Friedrich L. Bauer, Manfred Broy, editors, Program Construction, International Summer School, July 26 - August 6, 1978, Marktoberdorf, germany. Volume 69 of Lecture Notes in Computer Science, pages 494-530, Springer, 1978.

Authors

James J. Horning

This author has not been identified. Look up 'James J. Horning' in Google