The following pages link to (Q3038593):
Displayed 9 items.
- A versatile concept for the analysis of loops (Q444373) (← links)
- Structural models of algorithms in problems of applied programming. I: Formal algorithmic structures (Q1040396) (← links)
- An axiom system for sequence-based specification (Q1044834) (← links)
- Symbolic verification method for definite iteration over data structures (Q1285767) (← links)
- Atomatics as mathematical modelling and knowledge representation. Applications to systems analysis in computer and information sciences (Q1813155) (← links)
- Maximum-frequency monitoring of program flow (Q1899897) (← links)
- Verification of a finite iteration over data structures (Q1974308) (← links)
- Verification of finite iterations over collections of variable data structures (Q2467973) (← links)
- Regularity of relations: A measure of uniformity (Q2638796) (← links)