학술논문
On intervals and bounds in bit-vector arithmetic
Document Type
Conference Paper
Author
Source
In: CEUR Workshop Proceedings , SMT 2016 - Proceedings of the 14th International Workshop on Satisfiability Modulo Theories, affiliated with the International Joint Conference on Automated Reasoning, IJCAR 2016. (CEUR Workshop Proceedings, 2016, 1617)
Subject
Language
English
ISSN
16130073