Christoph Walther
Results: 2
# | Item |
---|---|
1 | SAT-based Termination Analysis for Java Bytecode with AProVE? Carsten Fuhs LuFG Informatik 2, RWTH Aachen University, GermanyAdd to Reading ListSource URL: www.dcs.bbk.ac.ukLanguage: English - Date: 2011-06-23 09:19:29 |
2 | Heidelberg Nobel Prize Winners Christoph Mager Harald zur Hausen at the awarding of the Nobel Prize in Medicine 2008Add to Reading ListSource URL: www.uni-heidelberg.deLanguage: English - Date: 2012-11-09 10:08:55 |