|
СТ |
A Formal Study of Slicing for Multi-threaded Programs with JVM Concurrency Primitives |
1999 |
Hatcliff J., Corbett J., Dwyer M., Sokolowski S., Zheng H. |
|
|
|
Lecture Notes in Computer Science |
19.10.1999 |
|
СТ |
Specifying and Verifying Parametric Processes |
1996 |
Pawlowski W., Paczkowski P., Sokolowski S. |
Lecture Notes in Computer Science |
|
|
Mathematical Foundations of Computer Science 1996 |
11.10.1996 |
|
СТ |
Toward Formal Development of Programs from Algebraic Specifications: Parameterisation Revisited |
1992 |
Sannella D., Sokolowski S., Tarlecki A. |
|
|
|
Acta Informatica |
04.02.1993 |
|
СТ |
Towards a Set-Theoretic Type Theory |
1988 |
Borzyszkowski A., Kubiak R., Leszczylowski J., Sokolowski S. |
|
|
PAS |
|
28.05.1992 |
|
П |
Towards a Naive Theory of Algebraic Specifications |
1988 |
Sokolowski S. |
|
|
|
|
26.05.1992 |
|
СТ |
Gdansk Development Method- A Short Overview |
1991 |
Sokolowski S. |
|
|
|
Programming 91: Proc. 16th Intern. Summer School |
16.08.1991 |
