@inproceedings{DATE-v1-2004-BrunelNFGL,
	author        = "Jean-Yves Brunel and Marco Di Natale and Alberto Ferrari and Paolo Giusto and Luciano Lavagno",
	booktitle     = "{Proceedings of the Eighth Conference on Design, Automation and Test in Europe, Volume 1}",
	doi           = "10.1109/DATE.2004.1268873",
	isbn          = "0-7695-2085-5",
	pages         = "358--363",
	publisher     = "{IEEE Computer Society}",
	title         = "{SoftContract: an Assertion-Based Software Development Process that Enables Design-by-Contract}",
	year          = 2004,
}