Search CORE

3 research outputs found

Ten Years of Hoare's Logic: A Survey—Part I

Author: APT K.R.
APT K.R.
BAKKER J.W.
BERCSTRA J.A.
BERGSTRA J.A.
CARTWRICHT R.
CLARKE E.M.
CLARKE E.M.
CLARKE E.M.
CLINT M.
DE BAKKER J.W.
DE BAKKER J.W.
DONAHUE J.E.
FLOYO R.W.
GLINT M.
GOWAN C.L.
GRI S D
HAR L D
HAREL D.
HOARE C.A.
HOARE C.A.
HOARE C.A.
ICARASHI S.
JANSSEN T.M.
KANDZIA P.
Krzysztof R. Apt
LANCMAACX H.
LANGMAACK
LANGMAACK H
LANGMAACK H.
LANGMAACK H.
LIPTON R.J.
LOMAZOVA I.A.
LONDON R.L.
MANNA Z.
MEYER A.R.
OLDEROG E.R.
OPPEN D.C.
OW~CKI S.
PRATT V.R.
PRESBURGER M.
SOKO WSKI
Publication venue: 'Association for Computing Machinery (ACM)'
Publication date
Field of study

LES ÉCHANGES MIGRATOIRES FRANCOPHONES ENTRE LE QUÉBEC ET ľon;ONTARIO: VERS UNE POLARISATION SPATIO-LINGUISTIQUE?

Author: BERNARD R.
BRODEUR
CARTWRICHT D.
CASTONGUAY C.
HECHT A.
IACHAPELLE R. ET HENRIPIN
SIMMONS I.
TERMOTE
TERMOTE M.
Publication venue: 'Wiley'
Publication date
Field of study

The Macintosh laryngoscope.

Author: Beaver RA.
Bowen RA
Bryce-Smith R.
Cartwricht FF.
Foregger Company.
Jephcott A.
Macintosh RR.
Parrott CM.
Pope ES.
Ritchle JR.
Soper RL.
Sykes WS.
Vellacott WN
Publication venue: 'Wiley'
Publication date
Field of study

core

core