Institut für Theoretische Informatik (ITI) – Anwendungsorientierte Formale Verifikation

Copyright and Licence of the Picture

This picture is a modified version of human_evolution.svg by Tkgd2007 [CC-BY-SA-3.0 or GFDL], via Wikimedia Commons.