Back to the list of the institutes
Publications
Journal: International Journal on Software Tools for Technology Transfer
Number of publications: 12015
- 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, p. 339-349. See in PBN