Reihe Advances in Formal MethodsMatt Kaufmann × Computer-Aided ReasoningAn ApproachMatt KaufmannSpringer USeBook2012259,00 €