"Towards a framework for the implementation and verification of ..."

Bas van Gijzel, Henrik Nilsson (2013)
a service of Schloss Dagstuhl - Leibniz Center for Informatics