Citação norma APA

Creating test data generation tool for Lustre/SCADE programs using model checking.

Citação norma Chicago

Creating Test Data Generation Tool for Lustre/SCADE Programs Using Model Checking.

Citação norma MLA

Creating Test Data Generation Tool for Lustre/SCADE Programs Using Model Checking.

Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.