AN AXIOMATIC PROOF TECHNIQUE FOR PARALLEL PROGRAMS I.OWICKI S; GRIES D.1976; ACTA INFORMAT.; ALLEM.; DA. 1976; VOL. 6; NO 4; PP. 319-340; BIBL. 19 REF.Article

CONSTRUCTING CORRECT AND EFFICIENT CONCURRENT PROGRAMS.SINTZOFF M; VAN LAMSWEERDE A.sdIN: INT. CONF. RELIAB. SOFTWARE. PROC.; LOS ANGELES, CALIF.; 1975; S.L.; DA. S.D.; PP. 319-326; BIBL. 24 REF.Conference Paper

VERIFYING PROGRAMS BY ALGEBRAIC AND LOGICAL REDUCTION.SUZUKI N.sdIN: INT. CONF. RELIAB. SOFTWARE. PROC.; LOS ANGELES, CALIF.; 1975; S.L.; DA. S.D.; PP. 473-481; BIBL. 11 REF.Conference Paper

Homogénéisation d'un problème modèle en théorie des coques membranaires = Homogenization of a model problem in the theory of thin membrane shellsHAMDACHE, K; SANCHEZ-PALENCIA, E.Comptes rendus de l'Académie des sciences. Série 1, Mathématique. 1997, Vol 325, Num 6, pp 683-688, issn 0764-4442Article