@inproceedings{7481505a52f946d3ae1ae00ede88fd79,
title = "Managed assertions for component contracts",
author = "Tran, {Nam Thanh} and Mingins, {Christine A} and Abramson, {David A}",
year = "2003",
language = "English",
volume = "2",
pages = "318 -- 326",
editor = "Atila Ertas",
booktitle = "Proceedings of the Seventh World Conference on Integrated Design & Process Technology",
publisher = "The Society for Design & Process Technology",
note = "World Conference on Integrated Design and Process Technology ; Conference date: 01-01-2003",
}