On Mar 11, 2004, at 3:44 PM, stéphane ducasse wrote:

> Hi colin and markus,
>
> I chased the reference for the assertion evaluation but did not have 
> the time yet to read it :)
> "Robustness and diagnosability of oo systems designed by contracts."
> 	http://www.irisa.fr/triskell/bib2001.html#Baudry01a
>
> I think that this is worth to read at least this kicks me when I saw 
> the PhD defense.

Thanks Stéph, I've been chipping away at the French version, but 
haven't had time to sit down and get all the way through it. I'll take 
a look at the English version this weekend.

Colin

-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: text/enriched
Size: 711 bytes
Desc: not available
Url : http://lists.squeakfoundation.org/pipermail/squeak-dev/attachments/20040312/754785f9/attachment.bin