Karl Meinke

Books that list Karl Meinke among their authors but not as the lead author: co-written works, collections and compilations.

Higher-order algebra, logic, and term rewritingJan Heering

Higher-order algebra, logic, and term rewriting

Jan Heering · 1994

Tests and ProofsLaura Kovács

Tests and Proofs

Laura Kovács · 2022

Machine Learning for Dynamic Software Analysis : Potentials and LimitsAmel Bennaceur

Machine Learning for Dynamic Software Analysis : Potentials and Limits

Amel Bennaceur · 2018