A researcher interested in Eiffel, software engineering and formal methods.
----
CategoryHomePage