"Towards consistency analysis between formal and informal software ..."

Jan Keim, Yves Schneider, Anne Koziolek (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics