|
3
|
Revising Z: Part II - logical development
– Martin C. Henson, Steve Reeves
- 1999
|
|
4
|
Revising Z: Part I - logic and semantics
– Martin C. Henson, Steve Reeves
- 1999
|
|
|
JACK: A process algebra implementation in Java
– Leonardo Freitas
- 2002
|
|
5
|
Recursive Definitions in Z
– R.D. Arthan
- 1998
|
|
2
|
On Mutually Recursive Free Types in Z
– I. Toyn, S. H. Valentine, D.A. Duffy
- 2000
|
|
1
|
RFC 3066: Tags for the identification of languages (replaces
– Greg Reeve
- 1766
|
|
1
|
Type-constrained Generics for Z
– Samuel Valentine, Ian Toyn, Susan Stepney, Steve King
|
|
4
|
Constructive Foundations for Z
– Martin C. Henson, Steve Reeves
- 1997
|
|
2
|
Six theories of operation refinement for partial relation semantics Moshe Deutsch
– Moshe Deutsch, Martin Henson Steve, Steve Reeves
- 2002
|
|
|
Approaches to proof in Z - or - Why effective proof tool support for Z is hard
– Andrew Martin, Andrew Martin
- 1997
|
|
5
|
Machine-Assisted Theorem-Proving for Software Engineering
– Andrew Martin
- 1994
|
|
1
|
A project to develop an inductive proof assistant for Z integrating classical and rewrite strategies
– David A. Duffy, Alan M. Frisch, Ian Toyn
- 1997
|
|
4
|
Domains as a Prerequisite for Requirements and Software --- Domain Perspectives & Facets, Requirements Aspects and Software Views
– Dines Bjørner
- 1997
|
|
1
|
Specifying and Refining internal operations in Z
– John Derrick, John Derrick, Eerke Boiten, Eerke Boiten, Howard Bowman, Howard Bowman, Maarten Steen, Maarten Steen
- 1998
|
|
4
|
Structural refinement in Object-Z / CSP
– John Derrick, Graeme Smith
- 2000
|
|
9
|
Weak Refinement in Z
– John Derrick, Eerke Boiten, Howard Bowman, Maarten Steen
- 1997
|
|
5
|
Formal Methods in Knowledge Engineering
– Frank Van Harmelen, Dieter Fensel
- 1995
|
|
2
|
A compositional comparison of specifications of the alternating bit protocol in CCS and UNITY based on algebra transformation systems
– Martin Große-Rhode
|
|
5
|
A Semantics for a Simple Sub-language of Object-Z
– Alena Griffiths, Alena Griffiths
- 1996
|
