A Software Component Verification Tool

Gary Bundell, G. Lee, John Morris, K. Parker, P. Lam

Research output: Chapter in Book/Conference paperConference paperpeer-review

26 Citations (Scopus)
Original languageEnglish
Title of host publicationProceedings International Conference on Software Methods and Tools SMT 2000
EditorsJ. Gray, P. Croll
Place of PublicationWollongong, NSW, Australia
PublisherIEEE, Institute of Electrical and Electronics Engineers
EditionWollongong, NSW, Australia
ISBN (Print)0769509037
Publication statusPublished - 2000
EventA Software Component Verification Tool - Wollongong, NSW, Australia
Duration: 1 Jan 2000 → …


ConferenceA Software Component Verification Tool
Period1/01/00 → …

Cite this