Actions for Symbolic Analysis of Concurrency Errors in OpenMP Programs [electronic resource].

View MARC record | catkey: 14653212