Browse by authors
Now showing items 1-1 of 1
-
Унапређивање SMT решаваче коришћењем CSP техника и техника паралелизације / Improving SMT solvers using CSP techniques and parallelization techniques
(University of Belgrade, Faculty of Mathematics, 08-12-2016)