NASA Formal Methodsde Clark Barrett, Misty Davies, Temesghen KahsaiMateriasComputer scienceEdiciones (1)NASA Formal Methods (2017)Springer · ISBN 9783319572871Más obras de Clark BarrettAAlgorithms for Verifying Deep Neural NetworksAlgorithms for Verifying Deep Neural NetworksPProceedings of the Joint Workshops of the 6th International Proceedings of the Joint Workshops of the 6th International Workshop on Satisfiability Modulo Theories and 1st International Workshop on Bit-Precise ReasoningI
PProceedings of the Joint Workshops of the 6th International Proceedings of the Joint Workshops of the 6th International Workshop on Satisfiability Modulo Theories and 1st International Workshop on Bit-Precise Reasoning
