Situated Simplification

Autor: Andreas Podelski and Gert Smolka

Herausgeber: