Creating test data generation tool for Lustre/SCADE programs using model checking.
Styl cytowania ChicagoCreating Test Data Generation Tool for Lustre/SCADE Programs Using Model Checking.
Styl cytowania MLACreating Test Data Generation Tool for Lustre/SCADE Programs Using Model Checking.
Uwaga: Te cytaty mogą odróżniać się od wytycznej twojego fakultetu..