"Building program construction and verification tools from algebraic ..."

Alasdair Armstrong, Victor B. F. Gomes, Georg Struth (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics