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.