Abstract
Given the extensive applications of logics with concrete domains in verification and related areas, the shortage of an accessible survey on the topic is quite surprising. This article does much more than fill the gap, providing also useful and inspiring pointers for future work.
Published Version
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have