Search CORE

3 research outputs found

Polymers in building pipes

Author: British Gas Corp. London (United Kingdom)
Santoline M.S
Vicente L.M.
Publication venue
Publication date: 01/01/1989
Field of study

Translated from Spanish (Rev. Plasticos Modernos (Madrid) 1987 v. 54(373) p. 73-118)Available from British Library Document Supply Centre- DSC:9022.04812(BG-ERS-Trans--767)T / BLDSC - British Library Document Supply CentreSIGLEGBUnited Kingdo

OpenGrey Repository

On the Verification of VDM Specification and Refinement with PVS

Author: B Aichernig
G Bruns
G Collins
G Peter
H Sondergaard
J Crow
JC Bicarregui
JC Bicarreui
LL Santoline
R Elmstrom
RJ Boulton
S Agerholm
S Agerholm
S Agerholm
S Agerholm
Publication venue: 'Springer Science and Business Media LLC'
Publication date: 01/01/1998
Field of study

Crossref

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

Crossref

ePubs: the open archive for STFC research publications