-
2015 International Conference on Formal Methods in Computer-Aided Design
-
2015-09-27 ~ 30
United States .
-
-
Computer Science & EngineeringComputer Science, Technology & ApplicationsComputer Science, Artificial IntelligenceElectronics & Telecommunications CollectionInformation Technology & Communications Systems