Ranking Function Synthesis for Bit-Vector Relations

In  Proceedings of the 16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)

Publisher  Springer

Details

TypeInproceedings
Pages236–250
Number6015
SeriesLNCS
> Publications > Ranking Function Synthesis for Bit-Vector Relations