Karl Meinke · 3 obras en el catálogoObrasHigher-order algebra, logic, and term rewritingMachine Learning for Dynamic Software Analysis : Potentials and LimitsTTests and ProofsTests and Proofs