Cita APA (7th ed.)

Clarke, D. STG: A tool for generating symbolic test programs and oracles from operational specifications. Software engineering notes..

Cita Chicago (17th ed.)

Clarke, Duncan. "STG: A Tool for Generating Symbolic Test Programs and Oracles from Operational Specifications." Software Engineering Notes. .

Cita MLA (9th ed.)

Clarke, Duncan. "STG: A Tool for Generating Symbolic Test Programs and Oracles from Operational Specifications." Software Engineering Notes., .