Reference:
P. Liggesmeyer, "Achieving reliable software by adapting test, analysis, and verification techniques to the requirements of the test process", in ICINAS-94 International Infomatization Forum II – International Conference on Informational Networks and Systems, 1994, pp. 73-83.
Bibtex Entry:
@INPROCEEDINGS{Liggesmeyer1994b,
author = {Liggesmeyer, P.},
title = {Achieving reliable software by adapting test, analysis, and verification
techniques to the requirements of the test process},
booktitle = {ICINAS-94 International Infomatization Forum II – International Conference
on Informational Networks and Systems},
year = {1994},
pages = {73-83}
}