Liu, Wayne2006-07-282006-07-2820002000http://hdl.handle.net/10012/564application/pdf4486022 bytesapplication/pdfenCopyright: 2000, Liu, Wayne. All rights reserved.Harvested from Collections CanadaFormal models and analysis for software component interaction testingDoctoral Thesis