-
29th International Conference on Computer-Aided Verification
-
2017-07-22 ~ 28
Germany . Baden-Wuerttemberg
-
Computer Science & EngineeringComputer Science, Technology & ApplicationsComputer Science, Artificial IntelligenceElectronics & Telecommunications Collection