Data and Source Code for Sat CSS
softwareposted on 06.12.2018, 07:58 by Matthew Hague, Anthony Widjaja Lin, Chih-Duo Hong
Source code, benchmark data, disk image for SatCSS tool accompanying TOPLAS article "CSS Minification via Constraint Solving"
Verification of Concurrent and Higher-Order Recursive Programs
Engineering and Physical Sciences Research CouncilFind out more...