103

Program inversion in the refinement calculus

Year:
1991
Language:
english
File:
PDF, 842 KB
english, 1991
104

Statement inversion and strongest postcondition

Year:
1993
Language:
english
File:
PDF, 1.42 MB
english, 1993
106

Operational research and insurance

Year:
1991
Language:
english
File:
PDF, 1.08 MB
english, 1991
108

Operational research and insurance

Year:
1991
Language:
english
File:
PDF, 1.12 MB
english, 1991
116

Necatorin, a highly mutagenic compound from Lactarius necator

Year:
1983
Language:
english
File:
PDF, 203 KB
english, 1983
118

Contracts, Games and Refinement

Year:
1997
Language:
english
File:
PDF, 746 KB
english, 1997
119

Preface: Volume 70, Issue 3

Year:
2002
Language:
english
File:
PDF, 47 KB
english, 2002
124

The lattice of data refinement

Year:
1994
Language:
english
File:
PDF, 1.42 MB
english, 1994
125

Structured calculational proof

Year:
1997
Language:
english
File:
PDF, 895 KB
english, 1997
126

Book reviews

Year:
1995
Language:
english
File:
PDF, 498 KB
english, 1995
127

Mechanizing some advanced refinement concepts

Year:
1993
Language:
english
File:
PDF, 1.69 MB
english, 1993
129

Refinement concepts formalised in higher order logic

Year:
1990
Language:
english
File:
PDF, 1.62 MB
english, 1990
130

Selecting rational insurance coverage

Year:
1975
Language:
english
File:
PDF, 601 KB
english, 1975
131

Compositional Action System Refinement

Year:
2003
Language:
english
File:
PDF, 162 KB
english, 2003
132

Encoding, Decoding and Data Refinement

Year:
2000
Language:
english
File:
PDF, 229 KB
english, 2000
133

Class Refinement as Semantics of Correct Object Substitutability

Year:
2000
Language:
english
File:
PDF, 236 KB
english, 2000
136

Reasoning algebraically about loops

Year:
1999
Language:
english
File:
PDF, 163 KB
english, 1999
138

Herausforderungen der HIV-Prävention für Migranten

Year:
2011
Language:
german
File:
PDF, 452 KB
german, 2011
141

Towards a refinement algebra

Year:
2004
Language:
english
File:
PDF, 291 KB
english, 2004
142

Enabledness and termination in refinement algebra

Year:
2009
Language:
english
File:
PDF, 710 KB
english, 2009
147

The Punctual Fallacy of Participation

Year:
2006
Language:
english
File:
PDF, 84 KB
english, 2006