Fachartikel
Finding lexicographic orders for termination proofs in Isabelle/HOL
CTI 2011 (Christian Kamm, Zoltán Ádám Mann)
Christian Kamm ist Managing Director der QAware. Er hat seit 2009 die strategische Ausrichtung der QAware maßgeblich geprägt. Nach seinem[...]
Mehr Informationen