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.

@inproceedings{CollbergK87,
  title = {A Property-Based Method for Selecting Among Multiple Implementations of Modules},
  author = {Christian S. Collberg and Magnus G. Krampell},
  year = {1987},
  tags = {rule-based},
  researchr = {https://researchr.org/publication/CollbergK87},
  cites = {0},
  citedby = {0},
  pages = {193-201},
  booktitle = {ESEC  87, 1st European Software Engineering Conference, Strasbourg, France, September 9-11, 1987, Proceedings},
  editor = {Howard K. Nichols and Dan Simpson},
  volume = {289},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-18712-X},
}