Jörg Meyer

Publication Activity (10 Years)

Years Active: 1999-2000
Publications (10 Years): 0

Publications

Jörg Meyer, Arnd Poetzsch-Heffter
An Architecture for Interactive Program Provers. TACAS (2000)
Peter Müller, Jörg Meyer, Arnd Poetzsch-Heffter
Making Executable Interface Specifications More Expressive. Java-Informations-Tage (1999)
Jörg Meyer, Arnd Poetzsch-Heffter
Interactive Verification Environments for Object-Oriented Programs. J. Univers. Comput. Sci. 5 (3) (1999)