Specifying and Verifying Semantic Properties of Software Configurations

Douglas Wiebe. Specifying and Verifying Semantic Properties of Software Configurations. In Jürgen F. H. Winkler, editor, Proceedings of the International Workshop on Software Version and Configuration Control, January 27-29, 1988, Grassau, Germany. Volume 30 of Berichte des German Chapter of the ACM, pages 409-412, Teubner, 1988.

Authors

Douglas Wiebe

This author has not been identified. Look up 'Douglas Wiebe' in Google