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.
@inproceedings{Wiebe88, title = {Specifying and Verifying Semantic Properties of Software Configurations}, author = {Douglas Wiebe}, year = {1988}, researchr = {https://researchr.org/publication/Wiebe88}, cites = {0}, citedby = {0}, pages = {409-412}, booktitle = {Proceedings of the International Workshop on Software Version and Configuration Control, January 27-29, 1988, Grassau, Germany}, editor = {Jürgen F. H. Winkler}, volume = {30}, series = {Berichte des German Chapter of the ACM}, publisher = {Teubner}, isbn = {3-519-02671-6}, }