THE TOTAL CORRECTNESS OF PARALLEL PROGRAMSFLON L; SUZUKI N.1981; SIAM J. COMPUT.; ISSN 0097-5397; USA; DA. 1981; VOL. 10; NO 2; PP. 227-246; BIBL. 25 REF.Article

PROPERTY EXTRACTION IN WELL-FOUND PROPERTY SETS.WEGBREIT B.1975; I.E.E.E. TRANS. SOFTWARE ENGNG; U.S.A.; DA. 1975; VOL. 1; NO 3; PP. 270-285; BIBL. 12 REF.Article

ON REDUCTIONS OF PARALLEL PROGRAMSKOWALK W; VALK R.1979; LECTURE NOTES COMPUTER SCI.; DEU; DA. 1979; NO 71; PP. 356-369; BIBL. 3 REF.Conference Paper

SYSTEME COBOL POUR L'UTILISATION DU TRADUCTEUR TK-32 DANS LE CALCULATEUR MINSK-32TOSHKOV DI; AKHEGUKYAN AV.1975; C.R. ACAD. BULG. SCI.; BULG.; DA. 1975; VOL. 28; NO 3; PP. 303-306; BIBL. 6 REF.Article

COMPUTER AIDS TO PROGRAM VERIFICATION1973; IN: PROC. 6TH. HAWAII INT. CONF. SYST. SCI.; HONOLULU; 1973; S.L.; WESTERN PERIODICALS; DA. 1973; VOL. 1; PP. 1-13; BIBL. DISSEM.Conference Paper

A NEW APPROACH TO PROGRAM TESTING.KING JC.sdIN: INT. CONF. RELIAB. SOFTWARE. PROC.; LOS ANGELES, CALIF.; 1975; S.L.; DA. S.D.; PP. 228-233; BIBL. 8 REF.Conference Paper

COMPARAISON DES PROGRAMMES D'ANALYSE GENERALE DES CIRCUITS ELECTRIQUES.LACROIX M.1974; REV. TECH. THOMSON-C.S.F.; FR.; DA. 1974; VOL. 6; NO 1; PP. 17-29; ABS. ANGL. ALLEM.; BIBL. 1 P. 1/2Article

SYMBOLIC EVALUATION METHODS: IMPLEMENTATIONS AND APPLICATIONSCLARKE LA; RICHARDSON DJ.1981; COMPUTER PROGRAM TESTING, SUMMER SCHOOL ON COMPUTER PROGRAM TESTING/1981/URBINO; NLD/USA/GBR; AMSTERDAM; NEW YORK; OXFORD: NORTH HOLLAND; DA. 1981; PP. 65-102; BIBL. 3 P.Conference Paper

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

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

FAST INTERACTIVE GRAPHIC ANALYSIS AND PRESENTATION OF IRREGURARLY SPACED DATA Z(X,Y)HARTWIG RR.1981; EG81. EUROGRAPHICS '81. INTERNATIONAL CONFERENCE AND EXHIBITION/1981/DARMSTADT; NLD/USA/GBR; AMSTERDAM; NEW YORK; OXFORD: NORTH-HOLLAND; DA. 1981; PP. 217-222; BIBL. 7 REF.Conference Paper

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

AN APPLICATION OF COMPILER SIMULATION AT THE SOURCE LANGUAGE LEVEL.PERLIS D.1976; COMPUTER J.; G.B.; DA. 1976; VOL. 19; NO 1; PP. 90Article

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

MULTICOMMODITY NETWORK PLOTTING VIA PROGRAM NETPLT.RUTHBERG ZG; BOLOTSKY GR; SLATER W JR et al.1974; NATION. BUR. STAND., TECH. NOTE; U.S.A.; DA. 1974; NO 829; PP. (67P.); BIBL. 3 REF.Article

OPTIMAL PLACEMENT OF SOFTWARE MONITORS AIDING SYSTEMATIC TESTING.RAMAMOORTHY CV; KIM KH; CHEN WT et al.1975; I.E.E.E. TRANS. SOFTWARE ENGNG; U.S.A.; DA. 1975; VOL. 1; NO 4; PP. 403-411; BIBL. 14 REF.Article

DAS PROGRAMMSYSTEM ANTRAS. EDV-SYSTEM ZUR BERECHNUNG BELIEBIGER STATISCHER SYSTEME NACH DER METHODE DER FINITEN ELEMENTE. = LE PROGRAMME ANTRAS. SYSTEME DE CALCUL D'UN SYSTEME STATIQUE QUELCONQUE PAR LA METHODE DES ELEMENTS FINISWURMNEST W.1974; TECH. MITT. KRUPP, FORSCH.-BER.; DTSCH.; DA. 1974; VOL. 32; NO 3; PP. 97-107; ABS. ANGL.; BIBL. 10 REF.Article

SELECT - A FORMAL SYSTEM FOR TESTING AND DEBUGGING PROGRAMS BY SYMBOLIC EXECUTION.ROYER RS; ELSPAS B; LEVITT KN et al.sdIN: INT. CONF. RELIAB. SOFTWARE. PROC.; LOS ANGELES, CALIF.; 1975; S.L.; DA. S.D.; PP. 234-245; BIBL. 1 P.Conference Paper

SYSTEMATIC DETECTION OF EXCEPTION OCCURRENCESBEST E; CRISTIAN F.1981; SCI. COMPUT. PROGRAM.; NLD; DA. 1981; VOL. 1; NO 1-2; PP. 115-144; BIBL. 14 REF.Article

PROGRAMMES D'APPLICATION DANS UN SYSTEME DE PROGRAMMATIONRAJKOV LD; RUBANOV VO.1976; UPRAVL. SIST. MACH., U.S.S.R.; S.S.S.R.; DA. 1976; NO 2; PP. 33-39Article

PRINCIPES DE PRODUCTION D'UN JEU COMPLET D'ALGORITHMES POUR DES PROGRAMMES DE SERVICE PAR L'EXEMPLE DU PROGRAMME "TRI-FUSION"KAZARITSKIJ SD; ZUBOV VS.1974; TRUDY MOSKOV. ENERGET. INST.; S.S.S.R.; DA. 1974; NO 176; PP. 32-38; BIBL. 4 REF.Article

A SOFTWARE DESIGN AND EVALUATION SYSTEMGRAHAM RM; CLANCY GJ JR; DEVANEY DB et al.1973; COMMUNIC. A.C.M.; U.S.A.; DA. 1973; VOL. 16; NO 2; PP. 110-116; BIBL. 10 REF.Serial Issue

SOME TRANSFORMATIONS FOR DEVELOPING RECURSIVE PROGRAMS.BURSTALL RM; DARLINGTON J.sdIN: INT. CONF RELIAB. SOFTWARE. PROC.; LOS ANGELES, CALIF.; 1975; S.L.; DA. S.D.; PP. 465-472; BIBL. 10 REF.Conference Paper

AN APPROACH TO THE PLANNING AND MANAGEMENT OF LARGE SOFTWARE PROJECTSNEWMAN RA; MARSDEN TD.1972; IN: PRACT. APPL. PROJ. PLANN. NETWORK TECH. 3RD INT. CONGR. STOCKHOLM, 1972; STOCKHOLM; ALMQUIST WIKSELL; DA. 1972; VOL. 2; PP. 336-347Conference Proceedings

MONITEUR DE GESTION PRIORITAIRE DES INTERRUPTIONS DANS LE SYSTEME ENTREE-SORTIE DU CALCULATEUR M-600GAVRILIN VA; SHITIKOV BI.1976; AVTOMETRIJA; S.S.S.R.; DA. 1976; NO 2; PP. 59-62; BIBL. 3 REF.Article