Nie jesteś zalogowany | Zaloguj się

PL /
EN

Czasopismo: International Journal on Software Tools for Technology Transfer

Liczba publikacji: 1

2015

Grzegorz Anielak, Grzegorz Jakacki, Sławomir Lasota , Incremental Test Case Generation Using Bounded Model Checking: an Application to Automatic Rating, International Journal on Software Tools for Technology Transfer, 17 (3) 2015, s. 339-349. Zobacz w PBN