"Developing and Verifying Response Specifications in Hierarchical ..."

Cynthia Disenfeld, Shmuel Katz (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics