|
СТ |
The IFAD VDM-SL Toolbox: A Practical Approach to Formal Specifications |
1994 |
Elmstrom R., Larsen P. G., Lassen P. B. |
|
|
|
SIGPLAN Notices |
03.04.1996 |
|
СТ |
Formal and Informal Specifications of a Secure System Component: First Results in a Comparative Study |
1994 |
Fitzgerald J. S., Brookes T. M., Green M. A., Larsen P. G. |
|
|
|
Lecture Notes in Computer Science |
09.12.1994 |
|
СТ |
Evaluation of Underdetermined Explicit Definitions |
1994 |
Larsen P. G. |
|
|
|
Lecture Notes in Computer Science |
09.12.1994 |
|
СТ |
An Overview of the ISO/VDM-SL Standard |
1992 |
Plat N., Larsen P. G. |
|
|
|
SIGPLAN Notices |
06.09.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 |
