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.

Abstract

Abstract is missing.