"Proceedings First International Workshop on Formal Techniques for ..."

Peter Csaba Ölveczky, Cyrille Artho (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics