1
Published 2005
Table of Contents: ...Invited Talks -- Randomized Algorithms for Program Analysis and Verification -- Validating a Modern...
View full text
Electronic eBook