Wolfram Menzel
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2000–2002
Best venue rank
B
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2002 | ALT | Classes with Easily Learnable Subclasses. | Sanjay Jain, Wolfram Menzel, Frank Stephan |
| 2002 | FASE | The KeY System: Integrating Object-Oriented Design and Formal Methods. | Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Martin Giese, Elmar Habermalz, Reiner Hhnle, Wolfram Menzel, Wojciech Mostowski, Peter H. Schmitt |
| 2000 | JELIA | The KeY Approach: Integrating Object Oriented Design and Formal Verification. | Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Martin Giese, Elmar Habermalz, Reiner Hhnle, Wolfram Menzel, Peter H. Schmitt |