TY  - RPRT
TI  - ACL2 Meets the GPU: Formalizing a CUDA-based Parallelizable All-Pairs Shortest Path Algorithm in ACL2
AU  - David S. Hardin
AU  - Samuel S. Hardin
PY  - 2013
DO  - 10.4204/eptcs.114.10
UR  - https://arxiv.org/abs/1304.7863
ID  - 1304.7863
ER  -