Algorithms for ValidationMykel J. Kochenderfer, Sydney M. Katz, Anthony L. Corso, Robert J. MossE-book137,35 €