refinement (Q3417382)
Jump to navigation
Jump to search
approaches for producing correct computer programs and simplifying existing programs to enable their formal verification
- data refinement
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | refinement |
approaches for producing correct computer programs and simplifying existing programs to enable their formal verification |
|
Statements
Identifiers
1 reference
Sitelinks
Wikipedia(5 entries)
- dewiki Verfeinerung (Informatik)
- enwiki Refinement (computing)
- frwiki Raffinement
- huwiki Finomítás (számítástechnika)
- jawiki 詳細化