Jump to Content

Editorial: The First International Workshop on Automated Program Analysis, Testing and Verification (WAPATV 2000)

Nigel Tracey
Willem Visser
Softw. Test., Verif. Reliab., vol. 11 (2001), pp. 63-64

Abstract

Research Areas