 | 2008 |
|---|
| 7 |       | Bernhard Hohlfeld,
Stefan Kowalewski,
Michael Reinfrank,
Gerhard Wirrer:
Workshop Automotive Software Engineering: Forschung, Lehre, Industrielle Praxis.
Software Engineering 2008: 278-280 |
| 6 |  | Bernhard Hohlfeld,
Stefan Kowalewski,
Michael Reinfrank,
Gerhard Wirrer:
Workshop Automotive Software Engineering: Forschung, Lehre, Industrielle Praxis.
Software Engineering (Workshops) 2008: 85-87 |
| 2005 |
|---|
| 5 | | Bernhard Hohlfeld,
Stefan Kowalewski,
Hans-Werner Six:
Editorial zum Themenheft "Automotive Software Engineering".
Inform., Forsch. Entwickl. 19(4): 187-188 (2005) |
| 1991 |
|---|
| 4 | | Bernhard Hohlfeld:
Werkzeuggestützter Nachweis von Verläßlichkeitseigenschaften.
VIS 1991: 227-242 |
| 1985 |
|---|
| 3 | | Bernhard Hohlfeld:
Correctness Proofs of the Implementation of Abstract Data Types.
European Conference on Computer Algebra (2) 1985: 446-447 |
| 1984 |
|---|
| 2 | | Bernhard Hohlfeld:
Programmverifikation in lauffähigen Pascal-Programmen.
Fachtagung über Programmiersprachen 1984: 26-40 |
| 1983 |
|---|
| 1 | | Bernhard Hohlfeld:
Implementation of Abstract Data Types in PASCAL Programs.
ADT 1983 |
Data released under the ODC-BY 1.0 license — See also our legal information page