ON MAXIMAL PARALLEL REALIZATION OF PROCESSES.DEMBINSKI P.1975; PRACE C.O. P.A.N.; POLSKA; DA. 1975; NO 219; PP. 1-10; ABS. RUSSE POL.; BIBL. 5 REF.Serial Issue

THE LEVEL GRAMMARS: CF-GRAMMARS WITH EQUATION SCHEMESDEMBINSKI P; MALUSZYNSKI J.1979; LECTURE NOTES COMPUTER SCI.; DEU; DA. 1979; NO 71; PP. 170-187; BIBL. 9 REF.Conference Paper

FIRMWARE VERSUS SOFTWARE VERIFICATIONBUDKOWSKI S; DEMBINSKI P.1978; MICRO 11. ANNUAL MICROPROGRAMMING WORKSHOP. 11/1978-11-19/PACIFIC GROVE CA; USA; NEW YORK: INSTITUTE OF ELECTRICAL AND ELECTRONICS ENGINEERS; DA. 1978; PP. 119-127; BIBL. 15 REF.Conference Paper

THE POINTER TYPE IN PROGRAMMING LANGUAGES: A NEW APPROACH.DEMBINSKI P; SCHWARTZ R.1977; IN: PROGRAMMATION. INT. SYMP. PROGRAM. 2. PROC.; PARIS; 1976; PARIS; DUNOD; DA. 1977; PP. 89-105; BIBL. 1 P. 1/2Conference Paper

AN INTRODUCTION TO THE VERIFICATION ORIENTED MICROPROGRAMMING LANGUAGE "MIDDLE"DEMBINSKI P; BUDKOWSKI S.1978; MICRO 11. ANNUAL MICROPROGRAMMING WORKSHOP. 11/1978-11-19/PACIFIC GROVE CA; USA; NEW YORK: INSTITUTE OF ELECTRICAL AND ELECTRONICS ENGINEERS; DA. 1978; PP. 139-143; BIBL. 14 REF.Conference Paper

THE TAMING OF THE POINTER.DEMBINSKI P; SCHWARTZ R.1977; SIGPLAN NOT.; U.S.A.; DA. 1977; VOL. 12; NO 7; PP. 60-74; BIBL. 1 P. 1/2Article

POINTER TYPE AND OTHER DATA TYPES IN PROGRAMMING LANGUAGES.DEMBINSKI P; SCHWARTZ R.1975; PRACE C.O. P.A.N.; POLSKA; DA. 1975; NO 220; PP. 1-33; ABS. RUSSE POL.; BIBL. 2 P.Serial Issue

MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 1980DEMBINSKI P ED.1980; LECTURE NOTES COMPUTER SCI.; DEU; DA. 1980; VOL. 88; 731 P.; BIBL. DISSEM.Conference Paper

L'endettement internationalDEMBINSKI, P. H.1989, 125 p., isbn 2-13-042797-9Book

VERIFICATION ORIENTED MICROPROGRAMMING LANGUAGE.DEMBINSKI P; BUDKOWSKI S; HANSEN I et al.1977; PRACE I.P.I. P.A.N.; POLSKA; DA. 1977; NO 293; PP. 1-31; ABS. RUSSE POL.; BIBL. 10 REF.Serial Issue

An introduction to Estelle: A specification language for distributed systemsBUDKOWSKI, S; DEMBINSKI, P.Computer networks and ISDN systems. 1987, Vol 14, Num 1, pp 3-23, issn 0169-7552Article

Le défi de l'emploi en économie centralement planifiéeDEMBINSKI, P. H; BACCHETTA, M.Revue d'études comparatives Est-Ouest. 1986, Vol 17, Num 4, pp 75-92, issn 0338-0599Article

ALPO: A LANGUAGE THAT'S PROOF ORIENTED.DEMBINSKI P; INGALLS G; SCHWARTZ R et al.1975; PRACE C.O. P.A.N.; POLSKA; DA. 1975; NO 218; PP. 1-60; ABS. RUSSE POL.; BIBL. 2 REF.Serial Issue

L'impasse de la séduction financière : L'exclusion par la finance = The deadlock of the financial seduction : exclusion through the financeDEMBINSKI, P. H.Comprendre et combattre l'exclusion (l'exclusion sociale face aux exigences de l'éthique). 1998, pp 113-128, isbn 2-88074-375-3Book Chapter

Formal methods after 15 years : Status and trends. A paper based on contributions of the panelists at the FORmal TEchnique '95 Conference, Montreal, October 1995COURTIAT, J.-P; DEMBINSKI, P; HOLZMANN, G. J et al.Computer networks and ISDN systems. 1996, Vol 28, Num 13, pp 1845-1855, issn 0169-7552Article