Travelled to:
1 × Canada
Collaborated with:
U.Waqar F.Khendek
Talks about:
approach (1) softwar (1) mainten (1) formal (1)
Person: Daniel Vincent
DBLP: Vincent:Daniel
Contributed to:
Wrote 1 papers:
- ICSM-2002-WaqarKV #approach #formal method #maintenance
- A Formal Approach for Software Maintenance (UW, FK, DV), pp. 608–617.