"Correctness-by-Construction \wedge Taxonomies \Rightarrow Deep ..."

Loek Cleophas et al. (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics