Ranking function synthesis for bit-vector relations

paper.pdf
PDF file

In  Formal Methods in System Design

Details

TypeArticle
Pages93-120
Volume43
Number1
> Publications > Ranking function synthesis for bit-vector relations