(Q3417382)
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 詳細化
approaches for producing correct computer programs and simplifying existing programs to enable their formal verification