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

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

PARTIAL CORRECTNESS OF DISTRIBUTED PROGRAMSCOLEMAN D; GALLIMORE RM.1982; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1982; NO 134; PP. 138-180; BIBL. 6 REF.Conference Paper

A COMPARATIVE ANALYSIS OF FUNCTIONAL CORRECTNESSDUNLOP DD; BASILI VR.1982; ACM COMPUT. SURV.; ISSN 0360-0300; USA; DA. 1982; VOL. 14; NO 2; PP. 229-244; BIBL. 21 REF.Article

A MECHANISM FOR EXCEPTION HANDLING AND ITS VERIFICATION RULESCOCCO N; DULLI S.1982; COMPUTER LANGUAGES; ISSN 0096-0551; USA; DA. 1982; VOL. 7; NO 2; PP. 89-102; BIBL. 16 REF.Article

PROGRAMMING WITH VERIFICATION CONDITIONSVAN EMDEN MH.1979; I.E.E.E. TRANS. SOFTWARE ENGNG; USA; DA. 1979; VOL. 5; NO 2; PP. 148-159; BIBL. 14 REF.Article

CONSTRUCTIVE METHODS OF PROGRAM DESIGN.JACKSON MA.1976; LECTURES NOTES COMPUTER SCI.; GERM.; DA. 1976; PP. 237-262; BIBL. 5 REF.; (EUR. COOP. INF. CONF. 1. PROC.; AMSTERDAM; 1976)Conference Paper

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

HOARE'S LOGIC AND PEANO'S ARITHMETICBERGSTRA JA; TUCKER JV.1983; THEOR. COMPUT. SCI.; ISSN 0304-3975; NLD; DA. 1983; VOL. 22; NO 3; PP. 265-284; BIBL. 20 REF.Article

UNDERSTANDING AND DOCUMENTING PROGRAMSBASILI VR; MILLS MD.1982; IEEE TRANS. SOFTW. ENG.; ISSN 0098-5589; USA; DA. 1982; VOL. 8; NO 3; PP. 270-283; BIBL. 7 REF.Article

ON THE TOTAL CORRECTNESS OF NONDETERMINISTIC PROGRAMSHAREL D.1981; THEOR. COMPUT. SCI.; ISSN 0304-3975; NLD; DA. 1981; VOL. 13; NO 2; PP. 175-192; BIBL. 17 REF.Article

A METHOD FOR EVALUATING SOFTWARE DEVELOPMENT TECHNIQUESPANZL DJ.1981; J. SYST. SOFTW.; ISSN 0164-1212; USA; DA. 1981; VOL. 2; NO 2; PP. 133-137Article

"E-CORRECTNESS" OF A SET OF "COMPUTATION PROCESSES"SUGAWARA K; KAWAGUCHI H; NISHIZAWA T et al.1979; LECTURE NOTES COMPUTER SCI.; DEU; DA. 1979; NO 75; PP. 282-301; BIBL. 4 REF.Conference Paper

AXIOMATIC PROOFS OF TOTAL CORRECTNESS OF PROGRAMSSOUNDARARAJAN N.1979; INFORM. PROCESSG LETTERS; NLD; DA. 1979; VOL. 8; NO 5; PP. 274-277; BIBL. 5 REF.Article

DATA STRUCTURES AND PROGRAM CORRECTNESS: BRIDGING THE GAP.YELOWITZ L; DUNCAN AG.1978; COMPUTER LANGUAGES; GBR; DA. 1978; VOL. 3; NO 2; PP. 135-142; BIBL. 9 REF.Article

PROOF TECHNIQUES FOR HIERARCHICALLY STRUCTURES PROGRAMS.ROBINSON L; LEVITT KN.1977; COMMUNIC. A.C.M.; U.S.A.; DA. 1977; VOL. 20; NO 4; PP. 271-283; BIBL. 1 P.Article

WRITING A NUMBER AS THE SUM OF TWO SQUARES. A NEW SOLUTIONBACKHOUSE R.1982; INFORMATION PROCESSING LETTERS; ISSN 0020-0190; NLD; DA. 1982; VOL. 14; NO 1; PP. 15-17; BIBL. 3 REF.Article

ON THE USE OF HISTORY VARIABLESCLINT M.1981; ACTA INF.; ISSN 0001-5903; DEU; DA. 1981; VOL. 16; NO 1; PP. 15-30; BIBL. 12 REF.Article

RECURSIVE ASSERTIONS AND PARALLEL PROGRAMSAPT KR.1981; ACTA INF.; ISSN 0001-5903; DEU; DA. 1981; VOL. 15; NO 3; PP. 219-232; BIBL. 8 REF.Article

A SURVEY OF MICROPROGRAM VERIFICATION AND VALIDATION METHODSLUCIDO TP; CHATTERGY R; POOCH UW et al.1981; COMPUT. J.; ISSN 0010-4620; GBR; DA. 1981; VOL. 24; NO 2; PP. 139-142; BIBL. 29 REF.Article

PROVING THE CORRECTNESS OF REGULAR DETERMINISTIC PROGRAMS: A UNIFYING SURVEY USING DYNAMIC LOGICHAREL D.1980; THEOR. COMPUTER SCI.; NLD; DA. 1980; VOL. 12; NO 1; PP. 61-81; BIBL. 52 REF.Article

SPECIFIED PROGRAMMINGBLIKLE A.1979; LECTURE NOTES COMPUTER SCI.; DEU; DA. 1979; NO 75; PP. 228-251; BIBL. 2 P.Conference Paper

A FORMAL SEMANTICS FOR CONCURRENT SYSTEMSSHIELDS MW; LAUER PE.1979; LECTURE NOTES COMPUTER SCI.; DEU; DA. 1979; NO 71; PP. 571-584; BIBL. 9 REF.Conference Paper