Reasoning on Data Words over Numeric Domains

Open Webpage

Diego Figueira, Anthony Widjaja Lin

Published: 2022, Last Modified: 16 May 2025LICS 2022EveryoneRevisionsBibTeXCC BY-SA 4.0