Citace podle APA

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

Styl Chicago

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

Citace podle MLA

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

Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..