![](/img/cover-not-exists.png)
[ACM Press the 10th International Workshop - Washington, DC, USA (2019.02.17-2019.02.17)] Proceedings of the 10th International Workshop on Programming Models and Applications for Multicores and Manycores - PMAM'19 - Formal Verification through Combinatorial Topology
Peterson, Christina, Dechev, DamianYear:
2019
DOI:
10.1145/3303084.3309493
File:
PDF, 756 KB
2019