This site has been permanently archived. This is a static copy provided by the University of Southampton.

Voisin, Laurent (2012) More Abstraction. In: AI meets Formal Software Development, 01-06.07.2012, Schloss Dagstuhl, Germany.