Refinement Through Restraint: Bringing Down the Cost of Verification
ACM SIGPLAN Notices - United States
doi 10.1145/3022670.2951940
Full Text
Open PDFAbstract
Available in full text
Categories
Date
December 5, 2016
Authors
Publisher
Association for Computing Machinery (ACM)