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

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

Abstract

Research Areas