A Property-Based Method for Selecting Among Multiple Implementations of Modules

Christian S. Collberg, Magnus G. Krampell. A Property-Based Method for Selecting Among Multiple Implementations of Modules. In Howard K. Nichols, Dan Simpson, editors, ESEC 87, 1st European Software Engineering Conference, Strasbourg, France, September 9-11, 1987, Proceedings. Volume 289 of Lecture Notes in Computer Science, pages 193-201, Springer, 1987.

Abstract

Abstract is missing.