|
СТ |
Formal Development and Verification of Approximation Algorithms Using Auxiliary Variables |
2004 |
Berghammer R., Muller-Oim M. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
03.09.2004 |
|
СТ |
Formal Derivation of CSP Programs from Temporal Specifications |
1995 |
Berghammer R., Von Karger B. |
|
|
|
Lecture Notes in Computer Science |
30.03.2002 |
|
М |
On the Use of Composition in Transformational Programming |
1986 |
Berghammer R. |
|
|
|
IFIP: TC 2, Working Conf. on Program Specification and Transformation |
09.12.1999 |
|
П |
Pascal-Variante Obersicht uber Sprache, Obersetzer und Formularmaschine |
1985 |
Berghammer R., Dosch W., Obermeier R. |
Lecture Notes in Computer Science |
|
TUM |
|
08.12.1999 |
|
СТ |
Relation-Algebraic Derivation of Spanning Tree Algorithms |
1998 |
Berghammer R., Von Karger B., Wolf A. |
|
|
|
Lecture Notes in Computer Science |
25.06.1998 |
|
СТ |
Relation-Algebraic Analysis of Petri Nets with RELVIEW |
1996 |
Berghammer R., Von Karger B., Ulke C. |
|
|
|
Lecture Notes in Computer Science |
24.04.1996 |
|
СТ |
Prototyping Relational Specifications Using Higher-Order Objects |
1994 |
Berghammer R., Gritzner T. F., Schmidt G. |
|
|
|
Lecture Notes in Computer Science |
24.08.1994 |
|
СТ |
Proving Total Correctness of Programs in Wear Second-Order Logic |
1993 |
Berghammer R., Elbl B., Schmerl U. |
|
|
|
Lecture Notes in Computer Science |
11.06.1993 |
