Old Web
English
Sign In
Acemap
>
Paper
>
Semi-automatic Program Refinement from Specifications Using Library Modules
Semi-automatic Program Refinement from Specifications Using Library Modules
1985
Yoneharu Fujita
Fujio Nishida
Osamu Shinoiri
Keywords:
Refinement
Software engineering
Computer science
semi automatic
Correction
Source
Cite
Save
Machine Reading By IdeaReader
3
References
0
Citations
NaN
KQI
[]