SMT Boosters Recognized at Verification Event

HVC 2010 Award announced for five researchers who have promulgated Satisfiability Modulo Theories


August 25, 2010
URL:http://www.drdobbs.com/open-source/smt-boosters-recognized-at-verification/227001086

Terms of Service | Privacy Statement | Copyright © 2024 UBM Tech, All rights reserved.