TOWARDS AUTOMATIC DEBUGGING OF PROGRAMS.KATZ S; MANNA Z.sdIN: INT. CONF. RELIAB. SOFTWARE. PROC.; LOS ANGELES, CALIF.; 1975; S.L.; DA. S.D.; PP. 143-155; BIBL. 17 REF.Conference Paper

CORRECTNESS PROOFS FOR ASSIGNMENT STATEMENTS.DE BAKKER JW.1976; STICHTG MATH. CENTRUM, INFORMAT.; NEDERL.; DA. 1976; NO 55; PP. 1-20; BIBL. 6 REF.Serial Issue

A CLOSER LOOK AT TERMINATION.KATZ S; MANNA Z.1975; ACTA INFORMAT.; ALLEM.; DA. 1975; VOL. 5; NO 4; PP. 333-352; BIBL. 20 REF.Article

AN APPROACH TO COMPILER CORRECTNESS.CHIRICA LM; MARTIN DF.sdIN: INT. CONF. RELIAB. SOFTWARE. PROC.; LOS ANGELES, CALIF.; 1975; S.L.; DA. S.D.; PP. 96-103; BIBL. 11 REF.Conference Paper

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

A METHODOLOGY FOR VERIFYING PROGRAMS.VON HENKE FW; LUCKHAM DC.sdIN: INT. CONF. RELIAB. SOFTWARE. PROC.; LOS ANGELES, CALIF.; 1975; S.L.; DA. S.D.; PP. 156-164; BIBL. 15 REF.Conference Paper