|
СТ |
2-Categorical Specification of Partial Algebras |
1994 |
Grosse-Rhode M., Wolter U. |
|
|
|
Lecture Notes in Computer Science |
04.06.1994 |
|
СТ |
How to Cope with the Spectrum of Spectrum |
1995 |
Wolter U., Didrich K., Cornelius F., Klar M., Wessaly R., Ehrig H. |
Lecture Notes in Computer Science |
|
|
KORSO: Methods, Languages, and Tools for the Construction of Correct Software |
28.12.1995 |
|
СТ |
Institutional Frames |
1995 |
Wolter U. |
|
|
|
Lecture Notes in Computer Science |
24.05.1995 |
|
СТ |
From Abstract Data Types to Algebraic Development Techniques: A Shift of Paradigms |
1998 |
Ehrig H., Gajewsky M., Wolter U. |
|
|
|
Lecture Notes in Computer Science |
07.05.1998 |
