"Formal Semantics and Automatic Verification of Hierarchical Multimedia ..."

Jaime Arias (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics