THE CURRENT STATE OF PROVING PROGRAMS CORRECT = L'ETAT DE LA DEMONSTRATION DE L'EXACTITUDE DE PROGRAMMESLONDON RL.1972; IN: ASSOC. COMPUT. MACH. ANN. CONF. PROC. BOSTON, 1972; NEW YORK; ASSOC. COMPUT. MACH.; DA. 1972; VOL. 1; PP. 39-46; BIBL. 1 P. 1/2Conference Proceedings

SPECIFICATION TECHNIQUES FOR DATA ABSTRACTIONS.LISKOV BH; ZILLES SN.1975; I.E.E.E. TRANS. SOFTWARE ENGNG; U.S.A.; DA. 1975; VOL. 1; NO 1; PP. 7-19; BIBL. 36 REF.Article

AN ASSESSMENT OF TECHNIQUES FOR PROVING PROGRAM CORRECTNESSELSPAS B; LEVITT KN; WALDINGER RJ et al.1972; COMPUTG SURV.; U.S.A.; DA. 1972; VOL. 4; NO 2; PP. 97-147; BIBL. 3 P.Serial Issue

VERIFICATION OF PROGRAMS WITH PROCEDURE-TYPE PARAMETERSERNST GW; NAVLAKHA JK; OGDEN WF et al.1982; ACTA INFORMATICA; ISSN 0001-5903; DEU; DA. 1982; VOL. 18; NO 2; PP. 149-169; BIBL. 8 REF.Article

PARALLEL PROGRAMMING. AN AXIOMATIC APPROACH.HOARE CAR.1975; COMPUTER LANGUAGES; G.B.; DA. 1975; VOL. 1; NO 2; PP. 151-160; BIBL. 12 REF.Article

ELEMENTS POUR UN SYSTEME DE PROTECTION EXTENSIBLE.FERRIE J; KAISER C; LANCIAUX D et al.1974; I.R.I.A., LAB. RECH. INFORMAT. AUTOMAT., RAPP. RECH.; FR.; DA. 1974; NO 80; PP. 1-49; BIBL. 1 P. 1/2Article

A CRITIQUE OF THE FOUNDATIONS OF HOARE-STYLE PROGRAMMING LOGICSO'DONNELL MJ.1981; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1981 PUBL. 1982; NO 131; PP. 349-374; BIBL. 22 REF.Conference Paper

PROGRAM PROVING: COROUTINESCLINT M.1973; ACTA INFORMAT.; ALLEM.; DA. 1973; VOL. 2; NO 1; PP. 50-63; BIBL. 13 REF.Serial Issue

TESTING LARGE SOFTWARE WITH AUTOMATED SOFTWARE EVALUATION SYSTEMS.RAMAMOORTHY CV; HO SBF.1975; I.E.E.E. TRANS. SOFTWARE ENGNG; U.S.A.; DA. 1975; VOL. 1; NO 1; PP. 46-58; BIBL. 31 REF.Article

THE NEW MATH OF COMPUTER PROGRAMMING.MILLS HD.1975; COMMUNIC. A.C.M.; U.S.A.; DA. 1975; VOL. 18; NO 1; PP. 43-48; BIBL. 19 REF.Article

TRANSFORMING PROGRAMS TO MONITOR CORRECT SEQUENCINGMIDDLETON AG; BOYD RN.1982; A GENERAL SURVEY OF SYSTEMS METHODOLOGY. SOCIETY FOR GENERAL SYSTEMS RESEARCH. ANNUAL MEETING. 26/1982-01-05/WASHINGTON DC; USA; LOUISVILLE: SOCIETY FOR GENERAL SYSTEMS RESEARCH; DA. 1982; PP. 338-341; BIBL. 7 REF.Conference Paper

DETERMINATENESS OF PROGRAM EQUIVALENCE OVER PEANO AXIOMSCSIRMAZ L.1982; THEORETICAL COMPUTER SCIENCES; ISSN 0304-3975; NLD; DA. 1982; VOL. 21; NO 2; PP. 231-235; BIBL. 1 REF.Article

CORRECTNESS OF PROGRAMS WITH FUNCTION PROCEDURESDE BAKKER JW; KLOP JW; MEYER JJC et al.1981; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1981 PUBL. 1982; NO 131; PP. 94-112; BIBL. 23 REF.Conference Paper

PROVING TOTAL CORRECTNESS OF NONDETERMINISTIC PROGRAMS IN INFINITARY LOGICBACK RJR.1981; ACTA INF.; ISSN 0001-5903; DEU; DA. 1981; VOL. 15; NO 3; PP. 233-249; BIBL. 21 REF.Article

ERROR SENSITIVE TEST CASES ANALYSIS (ESTCA)FOSTER KA.1980; I.E.E.E. TRANS. SOFTWARE ENGNG; USA; DA. 1980; VOL. 6; NO 3; PP. 258-264; BIBL. 6 REF.Article

ON DEVELOPMENT OF ITERATIVE PROGRAMS FROM FUNCTION SPECIFICATIONSBASU SK.1980; I.E.E.E. TRANS. SOFTWARE ENGNG; USA; DA. 1980; VOL. 6; NO 2; PP. 170-182; BIBL. 15 REF.Article

PROGRAM TESTING COMPLEXITY AND TESTING CRITERIAKUO CHUNG TAI.1980; I.E.E.E. TRANS. SOFTWARE ENGNG; USA; DA. 1980; VOL. 6; NO 6; PP. 531-538; BIBL. 35 REF.Article

STUDIES IN ABSTRACT CONCRETE MAPPINGS IN PROVING ALGORITHM CORRECTNESSDUNCAN AG; YELOWITZ L.1979; LECTURE NOTES COMPUTER SCI.; DEU; DA. 1979; NO 71; PP. 218-229; BIBL. 14 REF.Conference Paper

THE MODAL LOGIC OF PROGRAMSMANNA Z; PNUELI A.1979; LECTURE NOTES COMPUTER SCI.; DEU; DA. 1979; NO 71; PP. 385-409; BIBL. 7 REF.Conference Paper

PROVING ASSERTIONS ABOUT PARALLEL PROGRAMS.ASHCROFT EA.1975; J. COMPUTER SYST. SCI.; U.S.A.; DA. 1975; VOL. 10; NO 1; PP. 110-135; BIBL. 7 REF.Article

COMMUNICATING AGENTS FOR APPLICATIVE CONCURRENT PROGRAMMINGPETTOROSSI A; SKOWRON A.1982; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1982; NO 137; PP. 305-322; BIBL. 10 REF.Conference Paper

THE CLEAN TERMINATION OF ITERATIVE PROGRAMSBLIKLE A.1981; ACTA INF.; ISSN 0001-5903; DEU; DA. 1981; VOL. 16; NO 2; PP. 199-217; BIBL. 25 REF.Article

SPECIFIED PROGRAMMINGBLIKLE A.1978; PRACE I.P.I. P.A.N.; POL; DA. 1978; NO 333; 26 P.; ABS. RUS/POL; BIBL. 2 P.Article

SOCIAL PROCESSES AND PROOFS OF THEOREMS AND PROGRAMS.DE MILLO RA; LIPTON RJ; PERLIS J et al.1977; IN: ACM SYMP. PRINC. PROGRAM. LANG. 4; LOS ANGELES; 1977; NEW YORK; ASSOC. COMPUT. MACH.; DA. 1977; PP. 206-214; BIBL. 23 REF.Conference Paper

APPROCHE AXIOMATIQUE DE LA DEMONSTRATION DE L'EXACTITUDE DES PROGRAMMESSOLAKHYAN SA.1976; AKAD. NAUK ARM.S.S.R., DOKL.; S.S.S.R.; DA. 1976; VOL. 63; NO 4; PP. 199-204; ABS. ARM.; BIBL. 7 REF.Article