Andrzej Blikle

Andrzej Blikle: Why Denotational? Remarks on Applied Denotational Semantics. Fundam. Inform. 28(1-2): 55-85 (1996)

Andrzej Blikle: Three-valued predicates for software specification and validation. Fundam. Inform. 14(4): 387-410 (1991)

Beata Konikowska, Andrzej Tarlecki, Andrzej Blikle: A three-valued logic for software specification and validation. Fundam. Inform. 14(4): 411-453 (1991)

Andrzej Blikle, Andrzej Tarlecki, Mikkel Thorup: On Conservative Extensions of Syntax in System Development. Theor. Comput. Sci. 90(1): 209-233 (1991)

Andrzej Blikle, Mikkel Thorup: On Conservative Extensions of Syntax in the Process of System Development. VDM Europe 1990: 504-525

Andrzej Blikle: Denotational Engineering. Sci. Comput. Program. 12(3): 207-253 (1989)

Andrzej Blikle: A Guided Tour of the Mathematics of MetaSoft'88. Inf. Process. Lett. 29(2): 81-86 (1988)

Beata Konikowska, Andrzej Tarlecki, Andrzej Blikle: A Three-Valued Logic for Software Specification and Validation. VDM Europe 1988: 218-242

Andrzej Blikle: Three-Valued Predicates for Software Specification and Validation. VDM Europe 1988: 243-266

Andrzej Blikle: MetaSoft Primer, Towards a Metalanguage for Applied Denotational Semantics. Lecture Notes in Computer Science 288, Springer 1987, isbn 3-540-18657-3

Andrzej Blikle: Denotational Engineering or from Denotations to Syntax. VDM Europe 1987: 151-209

Andrzej Blikle, Andrzej Tarlecki: Naive Denotational Semantics. IFIP Congress 1983: 345-355

Andrzej Blikle: The Clean Termination of Iterative Programs. Acta Inf. 16: 199-217 (1981)

Andrzej Blikle: On the Development of Correct Specified Programs. IEEE Trans. Software Eng. 7(5): 519-527 (1981)

Andrzej Blikle: Assertion Programming. MFCS 1979: 26-42

Andrzej Blikle: Specified programming. Mathematical Studies of Information Processing 1978: 228-251

Andrzej Blikle: An Analytic Approach to the Verification of Iterative Programs. IFIP Congress 1977: 285-290

Andrzej Blikle: A Comparative Review of Some Program Verification Methods. MFCS 1977: 17-33

Andrzej Blikle: Proving programs by delta-relations. Elektronische Informationsverarbeitung und Kybernetik 11(4-6): 267-274 (1975)

Andrzej Blikle (Ed.): Mathematical Foundations of Computer Science, 3rd Symposium at Jadwisin near Warsaw, June 17-22, 1974, Proceedings. Lecture Notes in Computer Science 28, Springer 1975, isbn 3-540-07162-8

Andrzej Blikle: Proving Programs by Sets of Computations. MFCS 1974: 333-358

Andrzej Blikle: An Algebraic Approach to Programs and Their Computations. MFCS 1973: 17-26

Andrzej Blikle: Equational Languages. Information and Control 21(2): 134-147 (1972)

Andrzej Blikle: Addressless Units for Carrying Out Loop-Free Computations. J. ACM 19(1): 136-157 (1972)

Andrzej Mostowski, Andrzej Blikle: Meeting of the Association for Symbolic Logic Warsaw 1968. J. Symb. Log. 34(3): 533-544 (1969)