"Poster: Towards a Data Centric Approach for the Design and Verification of ..."

Luca Arnaboldi, Roberto Metere (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics