A survey of verification techniques for parallel programs | MenrvaBooks

Company

Legal & Privacy

Help & Support

© 2026 Menrva Books

All Rights Reserved.

A survey of verification techniques for parallel programs

A survey of verification techniques for parallel programs

Howard Barringer

0

0

null

Page Count:
114

Publication Date:
1985-01-01

Community Tags

Reader Comments

No comments yet. Be the first to share your thoughts!

A survey of verification techniques for parallel programs | MenrvaBooks