APA Цитирование

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

Chicago-стиль цитирования

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

MLA-цитирование

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

Предупреждение: эти цитированмия не могут быть всегда правильны на 100%.