|
П |
Coordinate Transformation and Data Refinement |
1992 |
Gries D. |
|
|
Techn.Univ.Munchen |
|
04.12.1999 |
|
СТ |
Monotonicity in Calculational Proofs |
1999 |
Gries D. |
|
|
|
Lecture Notes in Computer Science |
20.11.1999 |
|
СТ |
Avoiding the Undefined by Underspecification |
1995 |
Gries D., Schneider F. B. |
Lecture Notes in Computer Science |
|
|
Computer Science Today |
01.12.1995 |
|
СТ |
Equational Logic as a Tool |
1995 |
Gries D. |
Lecture Notes in Computer Science |
|
|
Algebraic Methodology and Software Technology |
13.09.1995 |
|
СТ |
Trace-Based Network Proof Systems: Expressiveness and Completeness |
1992 |
Widom J., Gries D., Schneider F. B. |
|
|
|
ACM Trans. Programming Languages and Systems |
06.09.1992 |
