СТ |
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 |
СТ |
Object Invariants in Dynamic Contexts |
2004 |
Leino K.R. M., Mueller P. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
30.07.2004 |
СТ |
A Multiple-Platform Multi-Language Distributed Object-Oriented Messaging System |
1994 |
Shan Y. -P., Debinder J., Denatale R., Krauss C., Mueller P. |
|
|
|
OOPS Messenger |
14.06.1994 |