OPUS 4 | Search

4 search hits

1 to 4

Sort by

Scientific Reasoning and Argumentation: Advancing an Interdisciplinary Research Agenda in Education (2014)

Fischer, Frank ; Kollar, Ingo ; Ufer, Stefan ; Sodian, Beate ; Hussmann, Heinrich ; Pekrun, Reinhard ; Neuhaus, Birgit ; Dorner, Birgit ; Pankofer, Sabine ; Fischer, Martin ; Strijbos, Jan-Willem ; Heene, Moritz ; Eberle, Julia

KORSO: das Verbundprojekt “Korrekte Software” (1993)

Hußmann, Heinrich ; Loeckx, Jacques ; Reif, Wolfgang

LEX: a case study in development and validation of formal specifications (1996)

Heckler, Andreas Ramses ; Hettler, Rudolf ; Hussmann, Heinrich ; Loeckx, Jacques ; Reif, Wolfgang ; Schellhorn, Gerhard ; Stenzel, Kurt

1 to 4