Matthias Bauer, Wolfgang Ecker, Renate Henftling, Martin Zambaldi, Andreas Zinn. Verifikation und Wiederverwendung (Verification and Re-Use). it - Information Technology, 44(2):108-114, 2002. [doi]
@article{BauerEHZZ02,
title = {Verifikation und Wiederverwendung (Verification and Re-Use)},
author = {Matthias Bauer and Wolfgang Ecker and Renate Henftling and Martin Zambaldi and Andreas Zinn},
year = {2002},
doi = {10.1524/itit.2002.44.2.108},
url = {http://dx.doi.org/10.1524/itit.2002.44.2.108},
researchr = {https://researchr.org/publication/BauerEHZZ02},
cites = {0},
citedby = {0},
journal = {it - Information Technology},
volume = {44},
number = {2},
pages = {108-114},
}