Christina Peterson, Damian Dechev. Formal Verification through Combinatorial Topology: the CAS-Extended Model. In Quan Chen 0002, Zhiyi Huang 0001, Min-Si, editors, Proceedings of the 10th International Workshop on Programming Models and Applications for Multicores and Manycores, PMAM@PPoPP 2019, Washington, DC, USA, February 17, 2019. pages 61-70, ACM, 2019. [doi]
@inproceedings{PetersonD19, title = {Formal Verification through Combinatorial Topology: the CAS-Extended Model}, author = {Christina Peterson and Damian Dechev}, year = {2019}, doi = {10.1145/3303084.3309493}, url = {https://doi.org/10.1145/3303084.3309493}, researchr = {https://researchr.org/publication/PetersonD19}, cites = {0}, citedby = {0}, pages = {61-70}, booktitle = {Proceedings of the 10th International Workshop on Programming Models and Applications for Multicores and Manycores, PMAM@PPoPP 2019, Washington, DC, USA, February 17, 2019}, editor = {Quan Chen 0002 and Zhiyi Huang 0001 and Min-Si}, publisher = {ACM}, isbn = {978-1-4503-6290-0}, }