Google Research

The Second International Workshop on Automated Program Analysis, Testing and Verification

Nigel Tracey
John Penix
Willem Visser
Proceedings of the International Conference on Software Engineering (2001), pp. 755-755
Google Scholar

Abstract

Research Areas

×