![](/img/cover-not-exists.png)
Ranking function synthesis for bit-vector relations
Cook, Byron, Kroening, Daniel, Rümmer, Philipp, Wintersteiger, Christoph M.Volume:
43
Language:
english
Journal:
Formal Methods in System Design
DOI:
10.1007/s10703-013-0186-4
Date:
August, 2013
File:
PDF, 969 KB
english, 2013