Search the dblp DataBase

Publications of Author

1. Debora Weber-Wulff
   A Buffering System Implementation using VDM. [Citation Graph (0, 0)][DBLP]
   VDM Europe, 1990, pp:135-149 [Conf]
   
2. Debora Weber-Wulff
   Selling Formal Methods to Industry. [Citation Graph (0, 0)][DBLP]
   FME, 1993, pp:671-678 [Conf]
   
3. Maritta Heisel, Debora Weber-Wulff
   Korrekte Software: Nur eine Illusion? [Citation Graph (0, 0)][DBLP]
   GI Jahrestagung, 1993, pp:240- [Conf]
   
4. Eva Pilz, Debora Weber-Wulff
   Programmieren lernen durch Bilder - nur was für Mädchen? [Citation Graph (0, 0)][DBLP]
   INFOS, 1995, pp:138-147 [Conf]
   
5. Debora Weber-Wulff
   Teambildung in Programmierung und Software-Engineering Kursen. [Citation Graph (0, 0)][DBLP]
   SEUH, 1995, pp:82-89 [Conf]
   
6. Debora Weber-Wulff
   Proof Movie - A Proof with the Boyer-Moore Prover. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 1993, v:5, n:2, pp:121-151 [Journal]
   
7. Maritta Heisel, Debora Weber-Wulff
   Korrekte Software: Nur eine Illusion? [Citation Graph (0, 0)][DBLP]
   Inform., Forsch. Entwickl., 1994, v:9, n:4, pp:192-200 [Journal]
   
8. Doris Schmedding, Debora Weber-Wulff, Horst Lichter
   Bericht über die SEUH 7 - Software Engineering im Unterricht der Hochschulen vom 22. - 23. Februar 2001 in Zürich. [Citation Graph (0, 0)][DBLP]
   Softwaretechnik- Trends, 2001, v:21, n:2, pp:- [Journal]
   
9. 
   Combating the code warrior: a different sort of programming instruction. [Citation Graph (, )][DBLP]