Travelled to:
1 × South Africa
Collaborated with:
∅
Talks about:
approach (1) taxonom (1) servic (1) method (1) formal (1) web (1)
Person: K. S. May Chan
DBLP: Chan:K=_S=_May
Contributed to:
Wrote 1 papers:
- ICSE-2010-Chan #approach #formal method #taxonomy #web #web service
- Formal methods for web services: a taxonomic approach (KSMC), pp. 357–360.