@inproceedings{ArnoutM02, author = {Karine Arnout and Bertrand Meyer}, title = {Finding Implicit Contracts in .NET Components}, booktitle = {FMCO}, year = {2002}, pages = {285-318}, urltopdf = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=2852{\&}spage=285} }