Follow
Andrzej Blikle
Andrzej Blikle
Professor of Mathematics and informatics, Polish Academy of Acience
Verified email at moznainaczej.com.pl - Homepage
Title
Cited by
Cited by
Year
Doktryna jakości
A Blikle
Inicjatywa Firm Rodzinnych Polska Agencja Rozwoju Przedsiębiorczości, 2011
1552011
Doktryna jakoĹ› ci: rzecz o skutecznym zarzÄ… dzaniu
A Blikle
Helion, 2014
862014
A Three-Valued Logic for Software Specification and Validation. Tertium tamen datur
B Konikowska, A Tarlecki, A Blikle
Fundamenta informaticae 14 (4), 411-453, 1991
691991
Naive denotational semantics
A Blikle, A Tarlecki
Instytut Podstaw Informatyki Polskiej Akademii Nauk, 1983
491983
An algebraic approach to the theory of programs, algorithms, languages and recursiveness
A Blikle, A Mazurkiewicz
PAN, 1972
431972
Doktryna jakoĹ› ci: rzecz o turkusowej samoorganizacji
A Blikle
Wydawnictwo Helion, 2022
392022
The clean termination of iterative programs
A Blikle
Acta Informatica 16, 199-217, 1981
391981
Three-valued predicates for software specification and validation
A Blikle
Fundamenta Informaticae 14 (4), 387-410, 1991
371991
Three-valued predicates for software specification and validation
A Blikle
VDM'88 VDM—The Way Ahead: 2nd VDM-Europe Symposium Dublin, Ireland …, 1988
361988
Doktryna jakości. Wydanie II turkusowe. Rzecz o turkusowej samoorganizacji
A Blikle
Helion One Press, 2017
292017
MetaSoft primer: towards a metalanguage for applied denotational semantics
A Blikle
Springer Science & Business Media, 1987
291987
Automaty i gramatyka: wstÄ™ p do lingwistyki matematycznej
A Blikle
PaĹ „stwowe Wydawnictwo Naukowe, 1971
251971
Equational languages
A Blikle
Information and Control 21 (2), 134-147, 1972
241972
A comparative review of some program verification methods
A Blikle
International Symposium on Mathematical Foundations of Computer Science, 17-33, 1977
221977
On the development of correct specified programs
AJ Blikle
IEEE Transactions on Software Engineering, 519-527, 1981
201981
AN EXTENDED APPROACH TO MATHEMATICAL ANALYSIS OF PROGRAMS.
A Blikle
201974
Specified programming
A Blikle
Mathematical Studies of Information Processing: Proceedings of the …, 2005
192005
An analysis of programs by algebraic means
A Blikle
Banach Center Publications 2 (1), 167-213, 1977
181977
ITERATIVE SYSTEMS-ALGEBRAIC APPROACH
A Blikle
BULLETIN DE L ACADEMIE POLONAISE DES SCIENCES-SERIE DES SCIENCES …, 1972
151972
Proving programs by sets of computations
A Blikle
Mathematical Foundations of Computer Science: 3rd Symposium at Jadwisin near …, 1975
131975
The system can't perform the operation now. Try again later.
Articles 1–20