The following pages link to (Q3949940):
Displayed 9 items.
- Documenting and verifying systems assembled from components (Q351992) (← links)
- Reflexive transitive invariant relations: A basis for computing loop functions (Q604384) (← links)
- Kleene under a modal demonic star (Q817579) (← links)
- Simple section interchange and properties of non-computable functions (Q988200) (← links)
- Reliability theory of program testing (Q1147511) (← links)
- Applying string-rewriting to sequence-based specification (Q2248084) (← links)
- A structured temporal logic language: XYZ/SE (Q2277863) (← links)
- Computing and the cultures of proving (Q5301848) (← links)
- Symbolic Verification Method for Definite Iterations over Tuples of Altered Data Structures and Its Application to Pointer Programs (Q5452196) (← links)