Exported entries (BibTeX)

@inproceedings { guelfi01-1702,
	year = {2001},
	title = {Flexible Consistency In Software Development Using Contracts and Refinements},
	booktitle = {2nd International Workshop on Living With Inconsistency, part of the International Conference on Software Engineering - ICSE\'01},
	address = {Toronto, Canada},
	author = {Nicolas Guelfi}
}