Synthesis of Sound and Precise Storage Cost Bounds via Unsound Resource Analysis and Max-SMT
Conference proceeding (September 2024)
The most recent citing publications are shown below. View all 866 publications that cite this research output on Dimensions.
Conference proceeding (September 2024)
Conference proceeding in Proceedings of SPIE--the International Society for Optical Engineering (July 2024)
Preprint in arXiv (June 2024)