Component Refinement is a formal method in Refinement Calculus that specifies how an abstract program component is systematically transformed into a more concrete implementation while preserving its correctness with respect to a given specification.
31
Publications
1.6K
Citations
83
Authors
58
Institutions
Publications per year
2017–2026
8
Parents
Publications
31
W–Cu composites with submicron- and nanostructures: progress and challenges
Chao Hou, Xiaoyan Song, Fawei Tang et al. · NPG Asia Materials · 2019 · 165 citations · Full text
Natural Sciences, Materials Engineering, Materials Science +17
1–5 of 31
Authors
83
- TA
2
h-index
- AM
2
h-index
- LS
2
h-index
- RM
2
h-index
- SCSamir Chouali
Franche-Comté Électronique Mécanique Thermique et Optique - Sciences et Technologies, France
2 publications · 34 citations
2
h-index
1–5 of 83
Institutions
58
Charles University
Prague, Czechia
2 h-index
7 publications
800 citations
Microsoft (United States)
Redmond, United States
2 h-index
2 publications
103 citations
University of Minho
Braga, Portugal
2 h-index
3 publications
92 citations
East China Normal University
Shanghai, China
2 h-index
2 publications
54 citations
University of Klagenfurt
Klagenfurt, Austria
2 h-index
2 publications
183 citations
University of California, Berkeley
Berkeley, United States
2 h-index
2 publications
103 citations
Czech Academy of Sciences, Institute of Computer Science
Prague, Czechia
2 h-index
4 publications
734 citations
Peking University
Beijing, China
1 h-index
1 publications
56 citations
1–8 of 58
Venues
- Electronic Notes in Theoretical Computer Science
ENTCS · 3 publications · 74 citations
3
h-index
- Theoretical Computer Science
3 publications · 90 citations
3
h-index
- IEEE Transactions on Software Engineering
TSE · 2 publications · 489 citations
2
h-index
- Science of Computer Programming
1 publications · 58 citations
1
h-index
- Investment Analysts Journal
1 publications · 14 citations
1
h-index
1–5