68 Computer science
68Qxx Theory of computing (1 articles)
68Q60 Specification and verification (program logics, model checking, etc.) (3 articles)
- : Refinements of inductive inference by Popperian and reliable machines. (English). Kybernetika, vol. 30 (1994), issue 1, pp. 23-52
- : O dynamické logice. (Czech) [On dynamic logic]. Kybernetika, vol. 16 (1980), issue 7, pp. (1),3-41
- : Intermittent-assertion method as a structural induction. (English). Kybernetika, vol. 15 (1979), issue 2, pp. (122)-135
Search
Partner of
