A Software Component Verification Tool

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

A Software Component Verification Tool

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

Graduate Research School

Research output: Chapter in Book/Conference paper › Conference paper › peer-review

Original language	English
Title of host publication	Proceedings International Conference on Software Methods and Tools SMT 2000
Editors	J. Gray, P. Croll
Place of Publication	Wollongong, NSW, Australia
Publisher	IEEE, Institute of Electrical and Electronics Engineers
Pages	137-146
Volume	N/A
Edition	Wollongong, NSW, Australia
ISBN (Print)	0769509037
Publication status	Published - 2000
Event	A Software Component Verification Tool - Wollongong, NSW, Australia Duration: 1 Jan 2000 → …

Conference

Conference	A Software Component Verification Tool
Period	1/01/00 → …

Cite this

@inproceedings{3144fc019f3f4c4c98ce0e0fde8f1b41,

title = "A Software Component Verification Tool",

author = "Gary Bundell and G. Lee and John Morris and K. Parker and P. Lam",

year = "2000",

language = "English",

isbn = "0769509037",

volume = "N/A",

pages = "137--146",

editor = "J. Gray and P. Croll",

booktitle = "Proceedings International Conference on Software Methods and Tools SMT 2000",

publisher = "IEEE, Institute of Electrical and Electronics Engineers",

address = "United States",

edition = "Wollongong, NSW, Australia",

note = "A Software Component Verification Tool ; Conference date: 01-01-2000",

}

Bundell, G, Lee, G, Morris, J, Parker, K & Lam, P 2000, A Software Component Verification Tool. in J Gray & P Croll (eds), Proceedings International Conference on Software Methods and Tools SMT 2000. Wollongong, NSW, Australia edn, vol. N/A, IEEE, Institute of Electrical and Electronics Engineers, Wollongong, NSW, Australia, pp. 137-146, A Software Component Verification Tool, 1/01/00.

A Software Component Verification Tool. / Bundell, Gary; Lee, G.; Morris, John et al.
Proceedings International Conference on Software Methods and Tools SMT 2000. ed. / J. Gray; P. Croll. Vol. N/A Wollongong, NSW, Australia. ed. Wollongong, NSW, Australia: IEEE, Institute of Electrical and Electronics Engineers, 2000. p. 137-146.

Research output: Chapter in Book/Conference paper › Conference paper › peer-review

TY - GEN

T1 - A Software Component Verification Tool

AU - Bundell, Gary

AU - Lee, G.

AU - Morris, John

AU - Parker, K.

AU - Lam, P.

PY - 2000

Y1 - 2000

M3 - Conference paper

SN - 0769509037

VL - N/A

SP - 137

EP - 146

BT - Proceedings International Conference on Software Methods and Tools SMT 2000

A2 - Gray, J.

A2 - Croll, P.

PB - IEEE, Institute of Electrical and Electronics Engineers

CY - Wollongong, NSW, Australia

T2 - A Software Component Verification Tool

Y2 - 1 January 2000

ER -