Changed an Item |
Changed an Item |
||
| Property / cites work | |||
| Property / cites work: Q2782477 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q5322945 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Abstract State Machines / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Consequence Verification of Flowcharts / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q5639639 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q5678412 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: A constructive approach to the problem of program correctness / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4403707 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q5584402 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: An axiomatic basis for computer programming / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Algorithm = logic + control / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q5590814 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4385527 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Some definitional suggestions for automata theory / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Programming with Verification Conditions / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Transition network grammars for natural language analysis / rank | |||
Normal rank | |||
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Matrix Code |
scientific article |
