Travelled to:
1 × Japan
Collaborated with:
J.Boyland W.L.Scherlis
Talks about:
manipul (1) analysi (1) specif (1) promis (1) limit (1)
Person: Edwin C. Chan
DBLP: Chan:Edwin_C=
Contributed to:
Wrote 1 papers:
- ICSE-1998-ChanBS #analysis #named #specification
- Promises: Limited Specifications for Analysis and Manipulation (ECC, JB, WLS), pp. 167–176.