Citazione APA

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

Stile di citazione Chicago

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

Citazione MLA

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

Attenzione: Queste citazioni potrebbero non essere precise al 100%.