Search CORE

4 research outputs found

The B−Method

Author: Dave Neilson
Ib Sørensen
Jean−Raymond Abrial
Matthew K.O. Lee
P.N. Scharbach
Publication venue: Springer−Verlag
Publication date: 01/01/1991
Field of study

The B−Method

Author: Dave Neilson
Ib Sørensen
Jean−Raymond Abrial
Matthew K.O. Lee
P.N. Scharbach
Publication venue: Springer−Verlag
Publication date: 01/01/1991
Field of study

Oxford University Research Archive

Formal Methods into Practice: Case Studies in the Application of the B Method

Author: A.R. Newton
B. Ritchie
B.M. Matthews
Bicarregui
Bruns
Clarke
D.L. Clutterbuck
D.W.R.M. Marsh
G. Finnie
H. Haughton
H. Lesan
Hoare
J.C. Bicarregui
K. Lano
Leveson
M.R. Moulding
Moulding
P.N. Scharbach
Santoline
T.G.A. Rushton
Publication venue: 'Institution of Engineering and Technology (IET)'
Publication date: 01/01/1997
Field of study

ePubs: the open archive for STFC research publications

HIGH TRANSVERSE MOMENTUM PION AND PHOTON PRODUCTION IN p p COLLISIONS AT ISR ENERGIES

Author: Albrow
Amati
Angelis
Aubert
Baier
Blankenbecler
Caswell
Clark
Clark
Combridge
Contogouris
Diakonou
Ellis
Farrar
Feynman
Fritzsch
Gross
Halzen
Horgan
Jacob
Jones
Kato
Landshoff
Landshoff
Lepage
P.N. Scharbach
Politzer
R.R. Horgan
Rückl
Sterman
Sterman
Publication venue: 'Elsevier BV'
Publication date: 01/01/1980
Field of study

ePubs: the open archive for STFC research publications

CERN Document Server

core

core