Nigel Tracey, John Penix, Willem Visser. Editorial: The First International Workshop on Automated Program Analysis, Testing and Verification (WAPATV 2000). Softw. Test., Verif. Reliab., 11(2):63-64, 2001.
@article{TraceyPV01:1, title = {Editorial: The First International Workshop on Automated Program Analysis, Testing and Verification (WAPATV 2000)}, author = {Nigel Tracey and John Penix and Willem Visser}, year = {2001}, tags = {program analysis, program verification, testing, analysis}, researchr = {https://researchr.org/publication/TraceyPV01%3A1}, cites = {0}, citedby = {0}, journal = {Softw. Test., Verif. Reliab.}, volume = {11}, number = {2}, pages = {63-64}, }