|
СТ |
Compositional Structuring in the B-Method: A Logical Viewpoint of the Static Context |
2000 |
Dimitrakos T., Bicarregui J., Matthews B., Maibaum T. |
|
|
|
Lecture Notes in Computer Science |
21.10.2000 |
|
СТ |
Ionic Types |
2000 |
Dobson S., Matthews B. |
|
|
|
Lecture Notes in Computer Science |
20.07.2000 |
|
СТ |
Formal Development of Databases in ASSO and B |
1999 |
Matthews B., Locuratolo E. |
|
|
|
Lecture Notes in Computer Science |
30.10.1999 |
|
СТ |
Synthesising Structure from Flat Specifications |
1998 |
Matthews B., Ritchie B., Bicarregui J. |
|
|
|
Lecture Notes in Computer Science |
17.06.1998 |
|
СТ |
MERILL: An Equational Reasoning System in Standard ML |
1993 |
Matthews B. |
|
|
|
Lecture Notes in Computer Science |
09.07.1993 |
