Welcome to the web presence of

Research and teaching

Formale Methoden des Systementwurfs

Photos of

Florida
California
Puerto Rico

and further hot places

More photos of Puerto Rico

chicks from Barcelona

fish from Miami