@inproceedings{CBSE-2001-Lau,
	address       = "Toronto, Canada",
	author        = "Kung-Kiu Lau",
	booktitle     = "{Proceedings of the Fourth International Workshop on Component-Based Software Engineering: Component Certification and System Prediction}",
	pages         = "16",
	title         = "{Component Certification and System Prediction: Is There a Role for Formality}",
	year          = 2001,
}