OREGON STATE UNIVERSITY

You are here

Swarm Verification

TitleSwarm Verification
Publication TypeConference Paper
Year of Publication2008
AuthorsHolzmann, G. J., R. Joshi, and A. Groce
Conference NameConference on Automated Software Engineering (ASE)
Pagination1--6
Date Published09/2008
Conference Location L'Aquila, Italy