TY  - RPRT
TI  - TGView3D System Description: 3-Dimensional Visualization of Theory Graphs
AU  - Richard Marcus
AU  - Michael Kohlhase
AU  - Florian Rabe
PY  - 2020
UR  - https://arxiv.org/abs/1905.07076
ID  - 1905.07076
ER  -