Andrzej Blikle
According to our database1,
Andrzej Blikle
authored at least 28 papers
between 1969 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
2020
2019
An Experiment with a User Manual of a Programming Language Based on a Denotational Semantics.
CoRR, 2019
1996
Fundam. Informaticae, 1996
1991
Theor. Comput. Sci., 1991
A three-valued logic for software specification and validation.
Fundam. Informaticae, 1991
Three-valued predicates for software specification and validation.
Fundam. Informaticae, 1991
1990
Proceedings of the VDM '90, 1990
1989
1988
1987
Proceedings of the VDM '87, VDM - A Formal Method at Work, 1987
Lecture Notes in Computer Science 288, Springer, ISBN: 3-540-18657-3, 1987
1983
Naive Denotational Semantics.
Proceedings of the Information Processing 83, 1983
1982
Session Discussion.
Proceedings of the Formal Description of Programming Concepts : Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts- II, 1982
1981
1979
Proceedings of the Mathematical Foundations of Computer Science 1979, 1979
1978
Proceedings of the Mathematical Studies of Information Processing, 1978
1977
Proceedings of the Mathematical Foundations of Computer Science 1977, 1977
Towards Mathematical Structured Programming.
Proceedings of the Formal Description of Programming Concepts: Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts, 1977
An Analytic Approach to the Verification of Iterative Programs.
Proceedings of the Information Processing, 1977
1976
Proceedings of the 9th annual workshop on Microprogramming, 1976
1975
Proving programs by delta-relations.
J. Inf. Process. Cybern., 1975
1974
Proceedings of the Mathematical Foundations of Computer Science, 1974
1973
An Algebraic Approach to Programs and Their Computations.
Proceedings of the Mathematical Foundations of Computer Science: Proceedings of Symposium and Summer School, 1973
1972
1969