Dynamic Verification for Hybrid Concurrent Programming Models | Publicación