Modular specification and verification of object-oriented programs, c2002: t.p. (Peter Müller) t.p. verso (Frankfurt, Germany)

WWW search, May 7, 2002 Author's homepage (Fern Universität; also, member of the Lopex-Project, Univ. of Hagen, Germany)

Email to P. Müller, May 7, 2002 (Peter Müller, b. Jan. 28, 1972)

Programming languages and systems, 2020: t.p. (Peter Müller) verso (ETH Zurich, Switzerland)

ETH Zürich website, viewed 22 Sept. 2020: Dept. of Computer Science, persons (Prof. Dr. Peter Müller; since Aug. 2008 has been a full professor in computer science (since 2003 assistant professor for software component technology) at ETH Zurich; born 1972 in Ingolstadt, Germany; received the title Dr. rer. nat. from the University of Hagen; before joining ETH he worked as an IT project manager at Deutsche Bank in Frankfurt; previously held a position as researcher at Microsoft Research, Redmond)