PROGRAM GRAPHS, AN ALGEBRA, AND THEIR IMPLICATION FOR PROGRAMMING.PAIGE MR.1975; I.E.E.E. TRANS. SOFTWARE ENGNG; U.S.A.; DA. 1975; VOL. 1; NO 3; PP. 286-291; BIBL. 17 REF.Article

THE CORRECTNESS OF PROGRAMS.DEGLI ANTONI G.1975; IN: COMPUT. FRONT. INT. ADV.-STUDY COURSE; ERICE; 1972; ST-SAPHORIN; GEORGI; DA. 1975; PP. 137-145; BIBL. 18 REF.Conference Paper

CONSTRUCTION, AMELIORATION ET VERIFICATION DE PROGRAMMES. COLLOQUES. INSTITUT DE RECHERCHE D'INFORMATIQUE ET D'AUTOMATIQUE; ARC ET SENANS; 1975.1975; 78150 LE CHESNAY; I.R.I.A.; DA. 1975; PP. 1-476; ABS. ANGL. FR.; BIBL. DISSEM.; ISBN 2726100635Conference Proceedings

EXTENDED ALGORITHMIC LOGIC AND PROPERTIES OF PROGRAMS.BANACHOWSKI L.1975; BULL. ACAD. POLON. SCI., SCI. MATH. ASTR. PHYS.; POLOGNE; DA. 1975; VOL. 23; NO 3; PP. 325-330; ABS. RUSSE; BIBL. 9 REF.Article

A SEMANTIC BASIS FOR PROGRAM VERIFICATION. = BASE SEMANTIQUE POUR LA VERIFICATION DE PROGRAMMESHATCHER WS.1974; J. CYBERN.; U.S.A.; DA. 1974; VOL. 4; NO 1; PP. 61-69; BIBL. 5 REF.Article

A SYSTEM FOR RELIABLE ENGINEERING SOFTWARE.CULPEPPER LM.sdIN: INT. CONF. RELIAB. SOFTWARE. PROC.; LOS ANGELES, CALIF.; 1975; S.L.; DA. S.D.; PP. 186-192; BIBL. 8 REF.Conference Paper

MODULAR PROPERTIES OF PROGRAMS.BANACHOWSKI L.1975; BULL. ACAD. POLON. SCI., SCI. MATH. ASTR. PHYS.; POLOGNE; DA. 1975; VOL. 23; NO 3; PP. 331-337; ABS. RUSSE; BIBL. 4 REF.Article

AN ASSESSMENT OF THE PROGRAMMING LANGUAGE PASCAL.WIRTH N.sdIN: INT. CONF. RELIAB. SOFTWARE. PROC.; LOS ANGELES, CALIF.; 1975; S.L.; DA. S.D.; PP. 23-30; BIBL. 13 REF.Conference Paper