@InProceedings{ Lau:01, Author = "K.-K. Lau", Title = "Component Certification and System Prediction: Is there a Role for Formality?", BookTitle = "Proceedings of the Fourth ICSE Workshop on Component-based Software Engineering", Editor ="I. Crnkovic and H. Schmidt and J. Stafford and K. Wallnau", Year = "2001", Publisher = "IEEE Computer Society" , Pages = "80-83" }