User:Schoelle
From Wikipedia, the free encyclopedia
Real Name: Bernd Schoeller
I am a PhD student at the ETH Zurich, Switzerland writing my thesis about the formal verification of object-oriented programs, mainly using the programming language Eiffel of my supervisor Bertrand Meyer.