APA Citatie

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

Chicago Style citaat

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

MLA citatie

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

Let op: Deze citaties zijn niet altijd 100% accuraat.