Leveraging Applications of Formal Methods, Verification, and Validation - Hähnle, Reiner; Knoop, Jens; Margaria, Tiziana; Schreiner, Dietmar; Steffen, Bernhard (Springer Berlin Heidelberg, 2012)
Keywords: Information Technology -- Artificial Intelligence