You are not logged in | Log in

PL /
EN

Journal: International Journal on Software Tools for Technology Transfer

Number of publications: 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, p. 339-349. See in PBN

European Founds

European Social Found

Initiative of Excellence – Research University

HR Excellence in Research

Integrated Development Programme

Polish National Science Centre

Rozwój e-usług Uniwersytetu Warszawskiego związanych z edukacją

Erasmus Without Paper

Rozwój e-usług Uniwersytetu Warszawskiego związanych z edukacją