A Software Component Verification Tool

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

Research output: Chapter in Book/Conference paperConference paper

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
Pages137-146
VolumeN/A
EditionWollongong, NSW, Australia
ISBN (Print)0769509037
Publication statusPublished - 2000
EventA Software Component Verification Tool - Wollongong, NSW, Australia
Duration: 1 Jan 2000 → …

Conference

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

Cite this