Formal Aspects of Computing 13(2) May 2002 (2002) |
Formal Aspects of Computing
- Derrick, John and Boiten, Eerke (2002) Derrick, John and Boiten, Eerke "Combining Component Specifications in Object-Z and CSP"
- Mahony, Brendan and Jin Song Dong (2002) Mahony, Brendan and Jin Song Dong "Deep Semantic Links of TCSP and Object-Z: TCOZ Approach" pp142-160
- Smith, Graeme and Hayes, Ian (2002) Smith, Graeme and Hayes, Ian "An Introduction to Real-Time Object-Z" pp128-141
|
|
|