|
СТ |
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 |
|
П |
Recursive Definitions Revisited |
1983 |
Bednarczyk M. A., Borzyszkowski A. M., Pawlowski W. |
|
|
PAS |
|
05.06.1992 |
|
СТ |
Towards the semantics of the definitional language of MetaSoft |
1989 |
Bednarczyk M. A., Borzyszkowski A. M., Pawlowski W. |
|
|
|
|
26.05.1992 |
|
П |
The Dynamic Semantics of the BSI/VDM. Specification Language |
1990 |
Larsen P. G., Tarlecki A., Pawlowski W., Borzyszkowski A., Wieth M. |
|
|
Techn.Univ.Denmark |
|
26.05.1992 |
