"Verified Software. Theories, Tools, and Experiments - 8th International ..."

Sandrine Blazy, Marsha Chechik (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics