|
СТ |
Proving Temporal Properties of Z Specifications Using Abstraction |
2003 |
Smith G., Winter K. |
|
|
|
Lecture Notes in Computer Science |
20.06.2003 |
|
СТ |
Compositional Verification for Object-Z |
2003 |
Winter K., Smith G. |
|
|
|
Lecture Notes in Computer Science |
20.06.2003 |
|
СТ |
Abstract Specification in Object-Z and CSP |
2002 |
Smith G., Derrick J. |
|
|
|
Lecture Notes in Computer Science |
20.11.2002 |
|
СТ |
Introducing Reference Semantics via Refinement |
2002 |
Smith G. |
|
|
|
Lecture Notes in Computer Science |
20.11.2002 |
|
СТ |
An Integrated of Real-Time Object-Z and CSP for Specifying Concurrent Real-Time Systems |
2002 |
Smith G. |
|
|
|
Lecture Notes in Computer Science |
21.06.2002 |
|
СТ |
Encoding Object-Z in Isabelle/HOL |
2002 |
Smith G., Kammuller F., Santen T. |
|
|
|
Lecture Notes in Computer Science |
02.03.2002 |
|
СТ |
Towards Real-Ttime Object-Z |
1999 |
Smith G., Hayes I. |
|
|
|
IFM 99 |
31.01.2001 |
|
М |
The Object-Z Specification Language |
2000 |
Smith G. |
Advances in Formal Methods |
|
|
|
16.12.2000 |
|
СТ |
Structuring Real-Time Object-Z Specifications |
2000 |
Smith G., Hayes I. |
|
|
|
Lecture Notes in Computer Science |
30.11.2000 |
|
СТ |
Structural Refinement in Object-Z / CSP |
2000 |
Derrick J., Smith G. |
|
|
|
Lecture Notes in Computer Science |
30.11.2000 |
|
СТ |
Towards an ML-Style Polymorphic Type System for C |
1996 |
Smith G., Volpano D. |
|
|
|
Lecture Notes in Computer Science |
18.05.1996 |
|
СТ |
Extending W for Object-Z |
1995 |
Smith G. |
Lecture Notes in Computer Science |
|
|
ZUM 95: The Z Formal Specification Notation |
06.10.1995 |
|
СТ |
Efficient Recognition of Events in a Distributed System |
1995 |
Gough J., Smith G. |
|
|
|
Australian Computer Science Communications |
11.07.1995 |
|
СТ |
Polymorphic Type Inference with Overloading and Subtyping |
1993 |
Smith G. |
|
|
|
Lecture Notes in Computer Science |
26.05.1993 |
