|
СТ |
A Programming Logic for Sequential Java |
1999 |
Poetzsch-Heffter A., Muller P. |
|
|
|
Lecture Notes in Computer Science |
07.04.1999 |
|
СТ |
An Architecture for Interactive Program Provers |
2000 |
Meyer J., Poetzsch-Heffter A. |
|
|
|
Lecture Notes in Computer Science |
26.04.2000 |
|
СТ |
Developing Efficient Interpreters Based on Formal Language Specifications |
1994 |
Poetzsch-Heffter A. |
|
|
|
Lecture Notes in Computer Science |
27.04.1994 |
|
СТ |
Formal Techniques for Java Programs |
1999 |
Jacobs B., Leavens G. T., Muller P., Poetzsch-Heffter A. |
|
|
|
Lecture Notes in Computer Science |
26.01.2000 |
|
СТ |
Formal Techniques for Java-like Programs |
2002 |
Drossopoulou S., Eisenbach S., Leavens G. T., Poetzsch-Heffter A., Poll E. |
|
|
|
Lecture Notes in Computer Science |
17.01.2003 |
|
СТ |
Formal Tecniques for Java Programs |
2000 |
Drossopoulou S., Eisenbach S., Jacobs B., Leavens G., Muller P., Poetzsch-Heffter A. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
31.01.2001 |
|
СТ |
FormalTechniques for Java-Like Programs |
2004 |
Eisenbach S., Leavens G. T., Mueller P., Poetzsch-Heffter A., Poll E. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
21.09.2004 |
|
СТ |
Implementing High-Level Identification Specifications |
1992 |
Poetzsch-Heffter A. |
|
|
|
Lecture Notes in Computer Science |
27.10.1992 |
|
СТ |
Programming Languages Specification and Prototyping Using the MAX System |
1993 |
Poetzsch-Heffter A. |
|
|
|
Lecture Notes in Computer Science |
22.09.1993 |
|
СТ |
Prototyping Realistic Programming Languages Based on Formal Specifications |
1997 |
Poetzsch-Heffter A. |
|
|
|
Acta Informatica |
10.12.1997 |
