A Survey of Verification Techniques for Parallel Programs

Authors:

ISBN: 978-3-540-15239-2 (Print) 978-3-540-39416-7 (Online)