Travelled to:
1 × Germany
Collaborated with:
J.Welch J.Davies
Talks about:
mainten (1) automat (1) invari (1) associ (1)
Person: David Faitelson
DBLP: Faitelson:David
Contributed to:
Wrote 1 papers:
- SEFM-2005-WelchFD #automation #invariant #maintenance
- Automatic Maintenance of Association Invariants (JW, DF, JD), pp. 282–292.