"DARVIZ: Deep Abstract Representation, Visualization, and Verification of ..."

Anush Sankaran et al. (2017)
a service of Schloss Dagstuhl - Leibniz Center for Informatics