Travelled to:1 × United Kingdom
Collaborated with:∅
Talks about:methodolog (1) implement (1) function (1) support (1) softwar (1) program (1) develop (1) system (1) scheme (1) formal (1)
Person: Q. Chen
DBLP: Chen:Q=
Contributed to:
1985Wrote 1 papers:
- ICSE-1985-Chen #development #formal method #functional #implementation #programming
- Extending the Implementation Scheme of Functional Programming System FP for Supporting the Formal Software Development Methodology (QC), pp. 50–54.