Slicing and Visualizing F' Topologies with F'Prism.
Jialong Li, Christos Tsigkanos, Toshihide Ubukata, Elisa Yumi Nakagawa, Zhenyu Mao, Nianyu Li, Kenji Tei
VenueBECSA
Year2023
ProceedingsECSA (Tracks, Workshops and Doctoral Symposium)
DBLP recordconf/ecsa/LiTUNMLT23 ↗
Browse the full ECSA paper archive.